-
Alexandre Duret-Lutz authored
(parity_game_graph_delayed::get_relation): Disable for generalized automata, it's wrong.
8a5fd909
To find the state of this project's repository at the time of any of these versions, check out the tags.
(parity_game_graph_delayed::get_relation): Disable for generalized automata, it's wrong.