cryptominisat

Install command: 
brew install cryptominisat

Advanced SAT solver

https://www.msoos.org/cryptominisat5/

License: MIT

Development: Pull requests

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

Formula code: cryptominisat.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 ✅ 5.14.4

Depends on:

gmp 6.3.0 GNU multiple precision arithmetic library

Depends on when building from source:

cmake 4.3.1 Cross-platform make
pkgconf 2.5.1 Package compiler and linker metadata toolkit
python@3.14 3.14.4 Interpreted, interactive, object-oriented programming language

Analytics:

Installs (30 days)
cryptominisat 154
Installs on Request (30 days)
cryptominisat 118
Build Errors (30 days)
cryptominisat 10
Installs (90 days)
cryptominisat 343
Installs on Request (90 days)
cryptominisat 243
Installs (365 days)
cryptominisat 840
Installs on Request (365 days)
cryptominisat 454