Python wrapper around tool ltlcross from Spot library
Python wrapper around the amazing tool
ltlcross from Spot library for omega automata and LTL.
- Python >= 3.6
The following libraries are needed for bokeh scatter plots (can be used in Jupyter)
- bokeh (installs automatically by
- colorcet (installs automatically by
- jupyter_bokeh for rendering the plots in JupyterLab
python3 -m pip install -U ltlcross-runner
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Hashes for ltlcross_runner-0.3-py3-none-any.whl