JianyuTANG/SAT-Solver

A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

C++