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