/minisat

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

Primary LanguageC++OtherNOASSERTION

Watchers