Alexandre Duret-Lutz authored
degeneralization. * src/tgba/tgbatba.cc (tgba_sba_proxy::tgba_tba_proxy): Build the list of acceptance condition in the reverse order. The order is still arbitrary, but the bdd_satone() call seems to output the acceptance conditions that are more used first, and this helps the degeneralization process.58b233db
To find the state of this project's repository at the time of any of these versions, check out the tags.