arminbiere / microsat

microsat

Compile using:

./configure && make

Use as follows:

./microsat FILE

in which FILE is a SAT problem in the DIMACS format