← all formulas
creduce
Reduce a C/C++ program while keeping a property of interest
- Version
- v2.10.0
- License
- BSD-3-Clause
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 5
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install creduce