Skip to main content

A Python Temporal Intructions Common Language Interface: Library to create graphs queries over Kripke structures from a Interval Temporal Logic inspired language.

Project description

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…

Changes

0.0.1 (2011-XX-YY)

  • First Python Index Package release.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyticli-0.0.3.tar.gz (16.7 kB view details)

Uploaded Source

File details

Details for the file pyticli-0.0.3.tar.gz.

File metadata

  • Download URL: pyticli-0.0.3.tar.gz
  • Upload date:
  • Size: 16.7 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for pyticli-0.0.3.tar.gz
Algorithm Hash digest
SHA256 866f02d66f89aab1f460031a9837d35cf13680cfafc25e69ced00c2ee01975aa
MD5 69e013ae762b13c806ac69b6ed3b43b9
BLAKE2b-256 5609aae4b7fe9593a954b25724ad8ac49ac53980ec94eb9c99ab532d0bae75bb

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page