iglsynth 0.2.3
Last updated:
0 purchases
Description:
iglsynth 0.2.3
IGLSynth is a package for synthesizing winning strategies in two-player
games and hypergames, where player’s objectives are given using
logical specifications.
License:
For personal and professional use. You cannot resell or redistribute these repositories in their original state.
Customer Reviews
There are no reviews.
