safwankdb / SAT-Solver-using-DPLL

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

Geek Repo

Github PK Tool