sukrutrao/SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
C++MIT
Issues
- 0
Question 🙋
#2 opened by Sourav-Malani - 7
Your program has some mistakes
#1 opened by godjoem
A simple SAT solver that implements the DPLL algorithm with unit resolution
C++MIT