← all formulas
bitwuzla
SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
- Version
- v0.9.0
- License
- MIT
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install bitwuzla