Index of /pub/challenge/satisfiability/contributed/dubois

	Name	Last modified	Size	Description
	Parent Directory		-
	Asat	1993-02-03 10:19	40K
	Asat.uu	1993-02-03 10:19	55K
	gensat.c	1993-02-03 10:19	3.4K
	in.dat	1993-02-03 10:19	139
	dubois.tex	1993-03-14 09:25	14K
	INDEX	1993-03-18 10:57	674
	gensathard.c	1993-06-16 10:07	2.3K
	README	1993-06-16 10:08	1.3K
	C-SAT	1993-10-07 10:08	64K
	README.c-sat	1993-10-07 10:52	2.7K
	A-sat.c	1993-11-28 10:12	6.7K
	README.asat	1993-11-28 10:12	223