-
Alexandre Duret-Lutz authored
failure because the minimization() algorithm is currently incorrect when applied to non-weak automata.
f4e583d0
To find the state of this project's repository at the time of any of these versions, check out the tags.