ltl2ba

Translate LTL formulae to Buchi automata

Current version:
1.2b1

Homepage: https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/

Formula history

Viktor Szakats ltl2ba: use https homepage
Baptiste Fontaine ltl2ba: use an https url
Viktor Szakats ltl2ba: avoid unicode char in desc
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Jakub Arnold ltl2ba 1.2b1