A brute force 3-SAT solver in SML. http://en.wikipedia.org/wiki/Boolean_satisfiability_problem
-
Notifications
You must be signed in to change notification settings - Fork 0
rshepherd/sml-boolsat
About
A brute force 3-SAT solver in SML
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published