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