A minimalistic and high-performance SAT solver
Public Library2.2.0-1updated a year ago217.29 KB
minisat<1klast week
Latest version
2.2.0-1
Latest updated
a year ago
Unpackaged size
217.29 KB
License
MIT
Github
Homepage
http://minisat.se/MiniSat.htmlCollaborators
Run it in the browser
wapmWAPM is a product of Wasmer, the WebAssembly runtime.
