A simple JavaScript SAT solver, see (http://www.comp.nus.edu.sg/~gregory/sat/) for a live demo & more information.
-
Couldn't load subscription status.
- Fork 7
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
License
Couldn't load subscription status.
GJDuck/SAT.js
About
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published