A minimalistic and high-performance SAT solver

Public Library2.2.0-1updated a year ago217.29 KB
COPY
wapm install liftm/minisat

Need help using WAPM?

Get started here

Commands

minisat

Files

  • Readme.md

Modules

Unable to find a readme for liftm/minisat@2.2.0-1

<1klast week

Latest version

2.2.0-1

Latest updated

a year ago

Unpackaged size

217.29 KB

License

MIT

Collaborators

  • liftm avatarliftm

Run it in the browser