A simple, probabilistic, parallel SAT solver.
Primary LanguageClojure
No issues in this repository yet.