CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Primary LanguageC++
No issues in this repository yet.