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

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	1997-09-04 09:20	1.0K
	README	1997-09-04 09:20	851
	README.walksat	1997-09-04 09:20	3.2K
	cputype	1997-09-04 09:20	709
	walksat	1997-09-23 10:34	24K
	walksat.c	1997-09-04 09:20	37K