checklist.day

kissat

JSON →
cli 4.0.4 ·c
✓ install reviewed
devops

Bare metal SAT solver. Available on Homebrew and apt.

Resources

homepagegithub.com/arminbiere/kissat ↗

API endpoints

full doc /v1/registry/kissat
install /v1/registry/kissat/install