ltlcross runner

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

Requires

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

python3 -m pip install -U ltlcross-runner

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution for ltlcross-runner 0.3
File	Size	Uploaded
ltlcross_runner-0.3.tar.gz	16.0 kB	Dec 28, 2019	Details

Table of built distributions (wheels) for ltlcross-runner 0.3
File	Interpreter	ABI	Platform	Reset
ltlcross_runner-0.3-py3-none-any.whl 20.1 kB Dec 28, 2019	Python 3	none	any	Details

Total release size: 36.2 kB

Download URL	ltlcross_runner-0.3.tar.gz
Size	16.0 kB
Tags	Source
SHA-256 checksum How to use checksums	`d75f642db52189d7511b492b8d99ab6de9e13fbca3deab2b99f8641a42d51f0f`
BLAKE2b-256 checksum How to use checksums	`b3b76feabb2726599b732023b4fd1caca153ef6242f922f0de10b10c805ebafa`
Upload date	Dec 28, 2019
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.1.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.1.0 requests-toolbelt/0.9.1 tqdm/4.39.0 CPython/3.7.5`

Download URL	ltlcross_runner-0.3-py3-none-any.whl
Size	20.1 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`8a69ca72d49b7d7dbe9a0b511d2e695d0f9cd8b17aaf021e803eaa36c37bee7f`
BLAKE2b-256 checksum How to use checksums	`d22128874e044f1409a473838b87d3b75327b14ce5f65b293c67309cfd41595a`
Upload date	Dec 28, 2019
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.1.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.1.0 requests-toolbelt/0.9.1 tqdm/4.39.0 CPython/3.7.5`