Index of /home/lieber/courses/csg270/sp07/code/from-svn/repository/trunk/sample/cnf/sat

	Name	Last modified	Size	Description
	Parent Directory		-
	2000.cnf	2007-01-17 13:47	142K
	aim-50-1_6-yes1-1.cnf	2007-01-17 13:47	1.2K
	par8-1-c.cnf	2007-01-17 13:47	4.1K
	par8-1.cnf	2007-01-17 13:47	18K
	par8-2-c.cnf	2007-01-17 13:47	4.3K
	par8-2.cnf	2007-01-17 13:47	18K
	simple-sat.cnf	2007-01-17 13:47	68
	yes-aim-100-1_6-yes1..>	2007-01-17 13:47	2.2K