77sup/SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
C++MIT
No issues in this repository yet.
A simple SAT solver that implements the DPLL algorithm with unit resolution
C++MIT
No issues in this repository yet.