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¶
- Home Page
- Installation Instructions
- API Documentation
- Release Notes
Current release and documentation update date:
|Date:||Nov 26, 2019|