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.

Note

This project is under active development.

---

Indices and tables

ggsolver Documentation:

• Home Page
• Installation Instructions
  • Linux
  • Docker Image (other OS)
• API
  • Graph
  • Models
    • Automaton
    • TSys
    • Game
    • Solver
    • DeterministicStrategy
    • NonDeterministicStrategy
  • Automata
    • DFA: Deterministic Finite Automaton
    • Monitor: Deterministic Safety Automaton
    • DBA: Deterministic Buchi Automaton
    • DCBA: Deterministic co-Buchi Automaton
    • DPA: Deterministic Parity Automaton
  • (dtptb) Deterministic Two-Player Turn-based Games
    • SWinReach
    • SWinSafe
    • ASWinReach
    • ASWinSafe
  • (mdp) One-Player Stochastic Games (MDP Games)
    • ASWinReach
    • PWinReach
  • Logic
    • Automaton
    • SpotAutomaton
    • PL
    • ScLTL
    • LTL
• Examples
  • Graph class
  • TSys class
  • SpotAutomaton class

• Index

• Module Index

• Search Page