Index of /logic-classes/Data/Logic/Instances

	Name	Last modified	Size	Description
	Parent Directory		-
	PropLogic.hs	2012-01-22 17:30	4.6K
	TPTP.hs	2012-01-22 17:30	8.1K
	SatSolver.hs	2012-06-20 17:45	2.7K
	Chiou.hs	2014-03-29 14:59	13K