DRTooley / PythonSatSolver

A SAT solver written in Python 3.2 using three different algorithms; DPLL, Hill Climbing, and Genetic
9Updated 9 years ago

Related projects: