ltl2ba

Translate LTL formulae to Buchi automata

Current version:
1.2b1

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

Formula history

Viktor Szakatsltl2ba: use https homepage
Baptiste Fontaineltl2ba: use an https url
Viktor Szakatsltl2ba: avoid unicode char in desc
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Jakub Arnoldltl2ba 1.2b1