← all formulas
spot
Platform for LTL and ω-automata manipulation
- Version
- v2.15.1
- License
- GPL-3.0-or-later
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install spot