rshepherd / sml-boolsat

A brute force 3-SAT solver in SML

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