Index of /archive/pub/challenge/satisfiability/translators

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1993-05-25 13:58	326
	sat2cnf.c	1993-05-25 13:55	6.2K
	sample.sat	1993-05-25 13:55	145
	sample.cnf	1993-05-25 13:55	123
	cnf2sat.c	1993-05-25 13:55	4.6K
	Makefile	1993-05-25 13:55	105