Compile using: gcc microsat.c -O2 -DSTANDALONE -o microsat Use as follows: ./microsat FILE in which FILE is a SAT problem in the DIMACS format