Index of /afs/andrew/scs/cs/15-381/archive/lib/cvsub/.g/mesastuff/.g/scottd/walksat

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	1995-11-06 13:37	687
	README	1995-11-06 13:37	322
	README.walksat	1995-11-06 13:37	4.0K
	cputype	1995-11-06 13:37	686
	par32-4.cnf	1997-12-08 17:14	183K
	walksat	1997-12-08 17:16	17K
	walksat.c	1995-11-06 13:37	29K
	walksat19.tar	1997-10-22 14:44	64K