Index of /archive/pub/challenge/satisfiability/contributed/gent

	Name	Last modified	Size	Description
	Parent Directory		-
	enigma.ps	1993-02-03 15:11	775K
	gensat.ps	1993-02-03 15:11	332K
	INDEX	1993-02-03 15:11	1.5K