-
Alexandre Duret-Lutz authored
The command in #96 now takes 1min 16s. * src/twaalgos/sccinfo.cc: Only gather successor SCCs when popping an SCC. * wrap/python/tests/automata.ipynb: Adjust.
344ac0f9
The command in #96 now takes 1min 16s. * src/twaalgos/sccinfo.cc: Only gather successor SCCs when popping an SCC. * wrap/python/tests/automata.ipynb: Adjust.