IGLSynth: Automatic Strategy Synthesis Library

IGLSynth is a high-level Python API for solving Infinite Games and Logic-based strategy Synthesis. It provides an easy interface to

  1. Define two-player games-on-graphs.
  2. Assign tasks to players using formal logic.
  3. Write solvers to compute winning strategies in the game.

IGLSynth consists of 4 modules,

  1. game: Defines classes representing deterministic/stochastic and concurrent/turn-based games as well as hypergames.
  2. logic: Defines classes representing formal logic such as Propositional Logic, Linear Temporal Logic etc.
  3. solver: Defines solvers for different games such as ZielonkaSolver etc.
  4. util: Defines commonly used classes such as Graph.