Login
Shell
A minimalistic and high-performance SAT solver
wapm install liftm/minisat
Need help using WAPM?
Commands
Files
Readme.md
Modules
<1klast week
Latest version
2.2.0-1
Latest updated
Unpackaged size
217.29 KB
License
MIT
Github
github.com/jcaesar/minisat
Homepage
Collaborators
Run it in the browser