Index of /archive/pub/challenge/sat/contributed/selman

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	1992-11-30 18:05	86
	README	1992-11-30 18:05	542
	README.wff	1992-11-30 18:05	1.4K
	gsat.ps	1992-11-30 18:05	138K
	hsat.ps	1992-11-30 18:05	157K
	mwff.c	1992-11-30 18:05	12K
	README.cnf.BAK	1993-07-30 14:05	891
	README.cnf	1993-07-30 15:41	950