minisat

cli 2.2.1 ·c++

✓ install reviewed

Minimalistic and high-performance SAT solver. Available on Homebrew and apt.

Resources

homepagegithub.com/stp/minisat ↗

API endpoints

full doc /v1/registry/minisat

install /v1/registry/minisat/install