FormulaDeprecated
creduce
Reduce a C/C++ program while keeping a property of interest
- Version
- 2.10.0
- License
- BSD-3-Clause
- Installs (30 days)
- 3
- Tags
- optimization
brew install creduceFormulaDeprecated
Reduce a C/C++ program while keeping a property of interest
brew install creduce