Boolean Satisfiability Problem (3-SAT) implemented using a simple hill climb algorithm.
includes sample test inputs in test-clauses.lisp
ChrisWillette/3sat
Boolean Satisfiability Problem (3-SAT) implemented using a simple hill climb algorithm.
Common Lisp