← all formulas
Simple Theorem Prover, an efficient SMT solver for bitvectors
- Version
- v2.3.4
- License
- MIT
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 9
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install stp