Index of /archive/pub/challenge/satisfiability

	Name	Last modified	Size	Description
	Parent Directory		-
	translators/	1993-06-09 13:49	-
	doc/	1993-07-14 14:55	-
	contributed/	1993-11-28 14:05	-
	benchmarks/	1993-12-09 17:40	-