Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (minimize_wdba): Fix the Löding algorithm to use colors. The previous implementation was an incorrect approximation. * src/tgbatest/wdba2.test: New file showing two equivalent formulas that were minimized in automata with different sizes. * src/tgbatest/Makefile.am: Add it.a5787937
To find the state of this project's repository at the time of any of these versions, check out the tags.