Skip to content
GitLab
Explore
Sign in
Spot
Spot
Merge requests
!116
Draft: ltlsynt: add buchi game solver
Code
Review changes
Check out branch
Download
Patches
Plain diff
Quentin Rataud
requested to merge
flan/buchi
into
am/nix
Mar 18, 2024
Overview
0
Commits
6
Pipelines
3
Changes
2
Expand
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