← all formulas
Front-end for Yosys-based formal verification flows
- Version
- v0.65
- License
- ISC
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install sby