/minisat

A minimalistic and high-performance SAT solver

Primary LanguageC++OtherNOASSERTION

No issues in this repository yet.