Skip to content

Draft: ltlsynt: add buchi game solver

Quentin Rataud requested to merge flan/buchi into master

TODO:

  • clean strategy for player 0
  • check if the automaton is a buchi game solver
  • if so, redirect game_solver to buchi_game_solver

Merge request reports