summaryrefslogtreecommitdiffstats
path: root/science/ltl2ba
AgeCommit message (Expand)Author
2021-05-09Update my email address (scripted)Florian Franzmann
2020-01-01science/ltl2ba: version 1.2Florian Franzmann
2013-05-23science/ltl2ba: new spell, fast translation from LTL formulae to Büchi automataFlorian Franzmann