-
Alexandre Duret-Lutz authored
* bench/ltl2tgba/parseout.pl: Adjust to output nondeterministic indices and number of nondeterministic automata. * bench/ltl2tgba/README: Update explanations.
faed4e8b
To learn more about this project, read the wiki.