Index of /classes/cs480/aima-core/bin/aima/core/logic/fol/inference/otter

	Name	Last modified	Size	Description
	Parent Directory		-
	defaultimpl/	2016-09-04 16:54	-
	ClauseSimplifier.class	2016-09-04 16:54	245
	ClauseFilter.class	2016-09-04 16:54	324
	LightestClauseHeuris..>	2016-09-04 16:54	453