Solver: Satz
Author: Chu Min LI (cli@laria.u-picardie.fr)

To compile under Unix (or Linux) use 'gcc -O3 -o satz satz.c'
Call: satz <cnf-file>, where <cnf-file> is a file in DIMACS cnf format.
