Metadata-Version: 2.1
Name: ltlcross-runner
Version: 0.2.0
Summary: Python wrapper around tool ltlcross from Spot library
Home-page: https://gitlab.com/fandikb/ltlcross-runner
Author: Fanda Blahoudek
Author-email: fandikb+dev@gmail.com
License: MIT
Platform: UNKNOWN
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Requires-Python: >=3.6.0
Description-Content-Type: text/markdown

# ltlcross runner
Python wrapper around the amazing tool `ltlcross` from [Spot](https://spot.lrde.epita.fr/) library for omega automata and LTL.

## Requires
* [Spot](https://spot.lrde.epita.fr/)
* Python >= 3.6


