A brute force 3-SAT solver in SML
Primary LanguageStandard ML
A brute force 3-SAT solver in SML. http://en.wikipedia.org/wiki/Boolean_satisfiability_problem