A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
Primary LanguageC++
No issues in this repository yet.