iglsynth

Infinite Games on graph and Logic-based controller Synthesis

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

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.

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

This version

0.2.3

Nov 26, 2019

0.2.2

Nov 18, 2019

0.2.1

Nov 17, 2019

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Nov 26, 2019 Source

Hashes for iglsynth-0.2.3.tar.gz
Algorithm	Hash digest
SHA256	`65b7241e3b0375d946c7bb5cfa4e66bd10a944a3a75a56b322e386fbfb9a1727`
MD5	`c88d0c71a0741cb869d0dcf526dcf8c2`
BLAKE2b-256	`a1c84dac3d857d77dfa1f7ef72de18f11a340bd6459e9b2c9a0a43d87d057ab9`