• Philipp Schlehuber's avatar
    game: reimplement parity game solving · 133896d5
    Philipp Schlehuber authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * spot/misc/game.cc, spot/misc/game.hh: More efficient implementation
    of Zielonka's algorithm to solve parity games.  Now supports SCC
    decomposition and efficient handling of certain special cases.
    * doc/org/concepts.org: Document "strategy" and "state-winner"
    properties.
    * bin/ltlsynt.cc, tests/python/paritygame.ipynb: Adjust.
    * tests/core/ltlsynt.test: Add more tests.
    133896d5
paritygame.ipynb 42.7 KB