A Python Temporal Intructions Common Language Interface: Library to create graphs queries over Kripke structures from a Interval Temporal Logic inspired language.
Homepage Repository PyPI Python
pip install pyticli==0.0.3
| synopsis: | A Python Temporal Intervals Common Language Interface. |
|---|
A Python Temporal Intervals Common Language Interface: Library to create graphs query over Kripke structures from a Interval Temporal Logic inspired language.
Available throught Python Package Index:
$ pip install pyticli
Or:
$ easy_install pyticli
The main class is...
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Learn more →
Something wrong with this page? Make a suggestion
Export .ABOUT file for this package
Last synced: 2021-02-20 19:34:57 UTC
Login to resync this project