Index of /pub/challenge/satisfiability/contributed/selman

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