• Maximilien Colange's avatar
    parity game: various improvements · 9698363e
    Maximilien Colange authored
    Zielonka algorithm has been fixed and optimized.
    It also now computes the strategy for both players.
    
    * bin/ltlsynt.cc: Update calls to parity_game::solve()
    * spot/misc/game.cc, spot/misc/game.hh: Implement the changes
    9698363e