summaryrefslogtreecommitdiffstats
path: root/science/ltl2ba
AgeCommit message (Expand)Author
2013-05-23science/ltl2ba: new spell, fast translation from LTL formulae to Büchi automataFlorian Franzmann
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-23 08:00:49 +0000