Formula
bitwuzla
SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
- Version
- 0.9.1
- License
- MIT
- Homepage
- https://bitwuzla.github.io
- Installs (30 days)
- 340
- Categories
- AI & Data Science
- Tags
- solver
brew install bitwuzlaFormula
SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
brew install bitwuzla