/iglsynth

Infinite Games on graph & Logic-based controller Synthesis (IGLSynth)

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

iglsynth Build Status

IGLSynth (Infinite Games on graph & Logic-based controller Synthesis) 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.

See Documentation Page for installation instructions and API documentation.

Note: IGLSynth is still under development.

Bugs, Questions and Feature Requests

Please use Github Issues or send an email to ankulkarni@wpi.edu to report any bugs, ask any questions or request new features.