This directory contains translators to convert from one format to
another.

cnf2sat.c: Convert from the DIMACS standard .cnf format to the .sat
	format

sat2cnf.c: Convert a conjunctive normal form formula in DIMACS
	standard .sat format to .cnf format

sample.sat: Sample .sat format file
sample.cnf: Sample .cnf format file