ltl2ba
Fast translation from LTL formulas to Buchi automata
Install
- All systems
-
curl cmd.cat/ltl2ba.sh
- Fedora
-
dnf install ltl2ba - OS X
-
brew install ltl2ba - Dockerfile
- dockerfile.run/ltl2ba