Welcome to ggsolver’s documentation!¶
ggsolver is a python library containing set-based solvers for synthesis of winning strategies in two-player games on graphs.
This project is under active development.
Indices and tables¶
- Home Page
- Installation Instructions
- (dtptb) Deterministic Two-Player Turn-based Games
- (mdp) One-Player Stochastic Games (MDP Games)