Index of /~kogge/courses/cse30151-fa17/Public/Projects/Project1/TestFiles

	Name	Last modified	Size	Description
	Parent Directory		-
	2SAT.cnf	2017-09-14 11:01	30K
	kSAT.cnf	2017-08-26 12:24	751K
	kSATu.cnf	2017-09-14 09:00	280K