Infinite Games on graph and Logic-based controller Synthesis
Project description
- IGLSynth is a package for synthesizing winning strategies in two-player
games and hypergames, where player’s objectives are given using logical specifications.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
iglsynth-0.2.3.tar.gz
(32.9 kB
view hashes)
