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
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