-
Alexandre Duret-Lutz authored
* src/twaalgos/dtwasat.cc: Choose the reference automaton based on its size. With this change, the last example of my LPAR'15 talk goes from ~7s to under 1s. * NEWS: Mention it.
a825fa91
* src/twaalgos/dtwasat.cc: Choose the reference automaton based on its size. With this change, the last example of my LPAR'15 talk goes from ~7s to under 1s. * NEWS: Mention it.