Python wrapper around tool ltlcross from Spot library
Project description
ltlcross runner
Python wrapper around the amazing tool ltlcross from Spot library for omega automata and LTL.
Requires
- Spot
- Python >= 3.6
The following libraries are needed for bokeh scatter plots (can be used in Jupyter)
- bokeh (installs automatically by
pip) - colorcet (installs automatically by
pip) - jupyter_bokeh for rendering the plots in JupyterLab
Installation
python3 -m pip install -U ltlcross-runner
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
ltlcross_runner-0.3.tar.gz
(16.0 kB
view details)
Built Distribution
File details
Details for the file ltlcross_runner-0.3.tar.gz.
File metadata
- Download URL: ltlcross_runner-0.3.tar.gz
- Upload date:
- Size: 16.0 kB
- Tags: Source
- Uploaded using 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
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | d75f642db52189d7511b492b8d99ab6de9e13fbca3deab2b99f8641a42d51f0f |
|
| MD5 | 7cfb3ee47cd7e129ea79acaed4f2a9e0 |
|
| BLAKE2b-256 | b3b76feabb2726599b732023b4fd1caca153ef6242f922f0de10b10c805ebafa |
File details
Details for the file ltlcross_runner-0.3-py3-none-any.whl.
File metadata
- Download URL: ltlcross_runner-0.3-py3-none-any.whl
- Upload date:
- Size: 20.1 kB
- Tags: Python 3
- Uploaded using 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
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 8a69ca72d49b7d7dbe9a0b511d2e695d0f9cd8b17aaf021e803eaa36c37bee7f |
|
| MD5 | 5f022512da9b2178e0f524d5989d2c01 |
|
| BLAKE2b-256 | d22128874e044f1409a473838b87d3b75327b14ce5f65b293c67309cfd41595a |
