Compile using: ./configure && make Use as follows: ./microsat FILE in which FILE is a SAT problem in the DIMACS format