/mergesat

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

Primary LanguageC++OtherNOASSERTION

No issues in this repository yet.