/3SAT-solver

My attempt to implement a solver for the boolean satisfiability problem, plus input and representation of problems.

Primary LanguagePython

No issues in this repository yet.