liftm/minisat

A minimalistic and high-performance SAT solver

Public Library2.2.0-1updated 10 months ago217.29 KB

COPY

wapm install liftm/minisat

Need help using WAPM?

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

10 months ago

Unpackaged size

217.29 KB

License

MIT

Github

Homepage

Collaborators

Run it in the browser