/pyticli

Python Temporal Intervals Common Language Interface

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Pyticli

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.

Installation

Available throught Python Package Index:

$ pip install pyticli

Or:

$ easy_install pyticli

Getting started

The main class is...