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

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