ostrich.cesolver.automata
Build CostEnriched automaton from a regular expression in brics format
Check whether we should avoid ever minimising the given automaton.