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
- Define two-player games-on-graphs.
- Assign tasks to players using formal logic.
- Write solvers to compute winning strategies in the game.
IGLSynth consists of 4 modules,
game
: Defines classes representing deterministic/stochastic and concurrent/turn-based games as well as hypergames.logic
: Defines classes representing formal logic such as Propositional Logic, Linear Temporal Logic etc.solver
: Defines solvers for different games such as ZielonkaSolver etc.util
: Defines commonly used classes such as Graph.
Indices and tables¶
Current release and documentation update date:
Release: | 0.2.3 |
---|---|
Date: | Nov 26, 2019 |