guangchenli/microsat_hack

Hack microsat by adding new techniques.

Compile using:

make

Use as follows:

./build/microsat+ FILE

in which FILE is a SAT problem in the DIMACS format