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
-
Stars128
-
Rank 279,381 (Top 6 %)
-
LanguageC
-
License
MIT License -
Created about 7 years ago
-
Updated over 2 years ago