A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
Primary LanguageC++
This repository is not active