CDCL SAT Solver implemented in C++ using watches and restarts
Primary LanguageC++MIT LicenseMIT
No issues in this repository yet.