Alexandre Duret-Lutz authored
* wrap/python/tests/decompose.ipynb: Adjust text. * spot/twaalgos/strength.hh, spot/twaalgos/strength.cc: Adjust to extract inherently weak SCCs instead of weak SCCs. This gets rids of the special handling for the "corner cases". * spot/tests/strength.test: Adjust. * NEWS: Mention it.2e15ed95
To find the state of this project's repository at the time of any of these versions, check out the tags.