Index of /afs/andrew/scs/cs/oldfiles/15-381/archive/lib/map/.g/.g/sat

	Name	Last modified	Size	Description
	Parent Directory		-
	!	1997-10-06 09:17	0
	.g/	2007-08-02 14:21	-
	1	1997-09-25 23:15	0
	ALPHA.fast/	1999-09-10 18:02	-
	LINUX.debug/	1999-09-10 18:02	-
	LINUX.fast/	1999-09-29 19:02	-
	LINUX.profile/	1999-09-10 18:02	-
	Makefile	1997-10-01 13:43	217
	NOTES	1998-01-08 13:53	9.1K
	README	1996-11-15 14:27	3.0K
	SGI.fast/	1999-09-10 18:02	-
	SPARC.fast/	1999-09-10 18:02	-
	bin/	1996-11-15 14:06	-
	data/	1999-08-13 15:54	-
	fact2sat.c	1997-10-20 17:20	14K
	gmon.out	1997-09-18 11:10	289K
	main.c	1997-10-01 13:38	843
	makechecker	1998-01-08 15:05	642
	makesame	1998-01-09 13:53	1.4K
	makewff.c	1997-11-14 13:35	3.8K
	makexor	1998-01-08 14:02	598
	out/	1999-08-13 15:54	-
	profile.sat	1997-09-17 17:15	12K
	profile.sat3	1997-09-18 11:10	12K
	sat	1999-09-29 19:02	447K
	sat-survey.pdf	1998-03-25 21:10	887K
	src/	1996-11-15 14:02	-
	translators/	1999-08-13 15:54	-
	walksat-1000b.out	1997-09-16 16:32	103K
	walksat-dist/	1997-09-23 10:34	-
	walksat-dist33.tar.Z.uu	1997-09-23 10:29	20K
	walksat.c	1998-01-08 14:19	38K
	walksat.c.old	1997-09-15 11:11	29K
	wffs/	1996-11-15 13:57	-