-
* src/tgbatest/minimize.cc: New file. Minimize an automaton from a LTL formula and compare the size of the initial automaton to the size of the minimized automaton.
fac30eb0
To find the state of this project's repository at the time of any of these versions, check out the tags.