Index of /~sameer/courses/cis671/p2

	Name	Last modified	Size	Description
	Parent Directory		-
	3sat-10clause-10var	1995-10-19 22:47	257
	3sat-15clause-10var	1995-10-20 00:52	405
	3sat-20clause-10var	1995-10-19 22:47	511
	3sat-20clause-20var	1995-10-19 22:47	532
	3sat-25clause-10var	1995-10-20 00:52	623
	3sat-30clause-10var	1995-10-19 22:47	729
	3sat-30clause-30var	1995-10-19 22:47	742
	3sat-35clause-10var	1995-10-20 00:52	859
	3sat-40clause-10var	1995-10-19 22:47	935
	3sat-40clause-20var	1995-10-19 22:47	1.0K
	3sat-60clause-20var	1995-10-19 22:47	1.5K
	3sat-60clause-30var	1995-10-19 22:47	1.5K
	3sat-80clause-20var	1995-10-19 22:47	1.9K
	3sat-90clause-30var	1995-10-19 22:47	2.3K
	3sat-120clause-30var	1995-10-19 22:47	2.9K
	aimatch.sch	1995-10-14 20:37	1.8K
	back/	1995-10-20 01:05	-
	cl.sch	1995-10-15 12:53	413
	csp-3sat.sch	1995-10-20 00:33	12K
	csp-prop.sch	1995-10-20 01:14	11K
	csp-prop_t.sch	1995-10-20 01:24	11K
	doc/	1995-10-20 01:33	-
	gensat.sch	1995-10-14 20:37	1.7K
	h1.sch	1995-10-14 22:29	6.5K
	h2.sch	1995-10-18 23:49	2.6K
	h3.sch	1995-10-19 15:47	741
	hardproblem.sch	1995-10-14 20:37	6.5K
	match.sch	1995-10-14 20:37	2.6K
	mattcsp-3sat.sch	1995-10-18 23:56	4.7K
	mix.graph	1995-10-20 01:37	5.5K
	mix.plot	1995-10-20 01:34	751
	order.sch	1995-10-20 00:44	3.3K
	outfile.scm	1995-10-20 01:19	3.0K
	part1-v10.data	1995-10-19 23:10	285
	part1-v20.data	1995-10-19 23:11	379
	part1-v30.data	1995-10-19 23:12	382
	part1.graph	1995-10-19 23:28	5.0K
	part1.plot	1995-10-19 23:27	626
	part1.script	1995-10-19 22:47	2.6K
	part2-v30.data	1995-10-19 23:48	336
	part2.data	1995-10-19 23:39	1.0K
	part2.script	1995-10-20 01:02	2.5K
	part3-v30.data	1995-10-20 00:33	202
	part3.script	1995-10-20 00:26	20K
	part4-v10.data	1995-10-20 01:37	215
	part4.script	1995-10-20 01:20	1.0K
	pb2.sch	1995-10-18 23:37	2.4K
	prop2.sch	1995-10-20 01:36	6.5K
	propagate.sch	1995-10-20 01:13	6.4K
	quicksort.sch	1995-10-19 21:09	678
	score.sch	1995-10-20 00:48	6.2K
	sortls.sch	1995-10-19 22:11	434
	test.data	1995-10-20 01:33	13K
	test1.log	1995-10-18 23:22	8.7K
	test2.log	1995-10-18 23:52	1.0K
	testcase/	1995-10-19 22:13	-
	testfile.scm	1995-10-20 00:56	2.3K
	var-prop.sch	1995-10-20 01:12	11K
	var-sel.sch	1995-10-20 00:36	12K
	variable-selection.sch	1995-10-18 23:06	6.8K
	variables.sch	1995-10-18 21:42	3.3K
	z1	1995-10-19 21:11	736