GitHub repository: DeekshithShetty/dpll-sat-solver
Primary language: Python
Created: 2019-12-10T21:13:13Z
Description: A SAT solver for propositional logic following the DPLL architecture