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
Project details
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 hashes)
Built Distribution
Close
Hashes for ltlcross_runner-0.3-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8a69ca72d49b7d7dbe9a0b511d2e695d0f9cd8b17aaf021e803eaa36c37bee7f |
|
MD5 | 5f022512da9b2178e0f524d5989d2c01 |
|
BLAKE2b-256 | d22128874e044f1409a473838b87d3b75327b14ce5f65b293c67309cfd41595a |