My attempt to implement a solver for the boolean satisfiability problem, plus input and representation of problems.
SilasX/3SAT-solver
My attempt to implement a solver for the boolean satisfiability problem, plus input and representation of problems.
Python