← all formulas
klee
Symbolic Execution Engine
- Version
- v3.2
- License
- NCSA
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 2
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install klee