← all formulas
boolector
SMT solver for fixed-size bit-vectors
formula deprecated
repo_archived
- Version
- v3.2.4
- License
- MIT
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install boolector