Project description

ltlcross runner

Python wrapper around the amazing tool ltlcross from Spot library for omega automata and LTL.

The following libraries are needed for bokeh scatter plots (can be used in Jupyter)

python3 -m pip install -U ltlcross-runner

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

This version

0.3

Dec 28, 2019

0.2.0

Dec 5, 2019

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

Uploaded Dec 28, 2019 Source

Uploaded Dec 28, 2019 Python 3

Hashes for ltlcross_runner-0.3.tar.gz
Algorithm	Hash digest
SHA256	`d75f642db52189d7511b492b8d99ab6de9e13fbca3deab2b99f8641a42d51f0f`
MD5	`7cfb3ee47cd7e129ea79acaed4f2a9e0`
BLAKE2b-256	`b3b76feabb2726599b732023b4fd1caca153ef6242f922f0de10b10c805ebafa`

Hashes for ltlcross_runner-0.3-py3-none-any.whl
Algorithm	Hash digest
SHA256	`8a69ca72d49b7d7dbe9a0b511d2e695d0f9cd8b17aaf021e803eaa36c37bee7f`
MD5	`5f022512da9b2178e0f524d5989d2c01`
BLAKE2b-256	`d22128874e044f1409a473838b87d3b75327b14ce5f65b293c67309cfd41595a`