Index of /pub/challenge/satisfiability/translators

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