bitwuzla
Formula Utilities v0.9.1
SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
Install 1
App in
Terminal
$
brew install 'bitwuzla'
Dependencies
Build Dependencies
Install Statistics 47.2% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 26 | 53 | 66 |
| Avg Daily Installs | 1 | 1 | 0 |