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...