arminbiere/minisat
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
C++NOASSERTION
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
C++NOASSERTION