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