checklist.day

cryptominisat

JSON →
cli 5.14.5 ·c++
✓ install reviewed
devops

Advanced SAT solver with CLI interface. Available on Homebrew and apt.

Resources

homepagewww.msoos.org/cryptominisat5/ ↗

API endpoints

full doc /v1/registry/cryptominisat
install /v1/registry/cryptominisat/install