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
To find the state of this project's repository at the time of any of these versions, check out the tags.