← all formulas
ltl2ba
Translate LTL formulae to Buchi automata
- Version
- v1.3
- License
- GPL-2.0-or-later
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install ltl2ba