Closed jurajsic closed 3 months ago
On the following automaton with 280000 states, getting word is very slow (timesout in 2 min), I think we should be able to get it faster. aut.mata.zip
On the following automaton with 280000 states, getting word is very slow (timesout in 2 min), I think we should be able to get it faster. aut.mata.zip