Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
Primary LanguagePythonMIT LicenseMIT