boolector (disabled)

Recommended replacement: bitwuzla

Install command: 
brew install boolector

SMT solver for fixed-size bit-vectors

https://boolector.github.io/

License: MIT

Development: Pull requests

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

Formula code: boolector.rb on GitHub

Bottle (binary package) installation support provided for:

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

Current versions:

stable ✅ 3.2.4

Depends on when building from source:

cmake 4.4.2 Cross-platform make

Analytics:

30 days90 days365 days
Installs92770
Installs on Request92770
Build Errors0