spot
Platform for manipulation of LTL formulas and ω-automata.
Installation
To install this package, run one of the following:
Installation commands are not available for this package.
Usage Tracking
0 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
Platform for manipulation of LTL formulas and ω-automata.
Last Updated
Dec 18, 2025 at 08:44
License
GPL-3.0-or-later
Total Downloads
0
GitHub Repository
https://gitlab.lre.epita.fr/spot/spot/Documentation
https://spot.lre.epita.fr/