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.2 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 160
Installs on Request (30 days)
cryptominisat 120
Build Errors (30 days)
cryptominisat 10
Installs (90 days)
cryptominisat 288
Installs on Request (90 days)
cryptominisat 195
Installs (365 days)
cryptominisat 842
Installs on Request (365 days)
cryptominisat 459