Compile using:

make

Use as follows:

./build/microsat+ FILE

in which FILE is a SAT problem in the DIMACS format