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

	Name	Last modified	Size	Description
	Parent Directory		-
	libsat.a	1999-09-29 19:02	36K
	main.o	1999-09-29 19:02	1.3K
	makewff.o	1999-09-29 19:02	4.1K
	sat	1999-09-29 19:02	447K
	walksat.o	1999-09-29 19:02	29K