kissat

Install command:
brew install kissat

Bare metal SAT solver

https://github.com/arminbiere/kissat

License: MIT

Formula JSON API: /api/formula/kissat.json

Formula code: kissat.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon
sequoia
sonoma
ventura
macOS on
Intel
sonoma
ventura
Linux ARM64
x86_64

Current versions:

stable 4.0.3

Analytics:

Installs (30 days)
kissat 22
kissat --HEAD 1
Installs on Request (30 days)
kissat 22
kissat --HEAD 1
Build Errors (30 days)
kissat 0
Installs (90 days)
kissat 22
kissat --HEAD 1
Installs on Request (90 days)
kissat 22
kissat --HEAD 1
Installs (365 days)
kissat 22
kissat --HEAD 1
Installs on Request (365 days)
kissat 22
kissat --HEAD 1
Fork me on GitHub