A Python Temporal Intructions Common Language Interface: Library to create graphs queries over Kripke structures from a Interval Temporal Logic inspired language.
Project Description
A Python Temporal Intervals Common Language Interface: Library to create graphs query over Kripke structures from a Interval Temporal Logic inspired language.
Installation
Available throught Python Package Index:
$ pip install pyticli
Or:
$ easy_install pyticli
Getting started
The main class is…
Changes
0.0.1 (2011-XX-YY)
- First Python Index Package release.
Release history Release notifications
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Filename, size & hash SHA256 hash help | File type | Python version | Upload date |
---|---|---|---|
pyticli-0.0.3.tar.gz (16.7 kB) Copy SHA256 hash SHA256 | Source | None | Aug 19, 2011 |