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 details)
File details
Details for the file iglsynth-0.2.3.tar.gz.
File metadata
- Download URL: iglsynth-0.2.3.tar.gz
- Upload date:
- Size: 32.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/2.0.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.38.0 CPython/3.7.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 65b7241e3b0375d946c7bb5cfa4e66bd10a944a3a75a56b322e386fbfb9a1727 |
|
| MD5 | c88d0c71a0741cb869d0dcf526dcf8c2 |
|
| BLAKE2b-256 | a1c84dac3d857d77dfa1f7ef72de18f11a340bd6459e9b2c9a0a43d87d057ab9 |
