/3sat

Boolean Satisfiability Problem (3-SAT) implemented using a simple hill climb algorithm.

Primary LanguageCommon Lisp

No issues in this repository yet.