-
Alexandre Duret-Lutz authored
correct from ltl2tgba to the library. * src/tgbaalgos/minimize.hh, src/tgbaalgos/minimize.cc (minimize_obligation): New function. * src/tgbatests/ltl2tgba.cc (main): Fix constness of automata, and call minimize_obligation() for -R3b.
907d173d
To find the state of this project's repository at the time of any of these versions, check out the tags.