• Alexandre Duret-Lutz's avatar
    simulation: improve merging of transiant-SCCs · f3e57901
    Alexandre Duret-Lutz authored
    * spot/twaalgos/simulation.cc: Code this.
    * tests/core/det.test, tests/core/dra2dba.test,
    tests/core/satmin.test, tests/core/sim3.test,
    tests/python/decompose.ipynb, tests/python/dualize.py: Adjust test
    cases.
    * NEWS: Mention the optimization.
    f3e57901
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 218 KB