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
tahoe
sequoia
sonoma
macOS on
Intel
sonoma
Linux ARM64
x86_64

Current versions:

stable 4.0.4

Analytics:

Installs (30 days)
kissat 27
Installs on Request (30 days)
kissat 27
Build Errors (30 days)
kissat 0
Installs (90 days)
kissat 68
kissat --HEAD 1
Installs on Request (90 days)
kissat 68
kissat --HEAD 1
Installs (365 days)
kissat 68
kissat --HEAD 1
Installs on Request (365 days)
kissat 68
kissat --HEAD 1