GitHub repository: safwankdb/SAT-Solver-using-DPLL
Primary language: Python
Created: 2019-11-23T09:39:35Z
Description: Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem