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
latest
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
Platform for manipulation of LTL formulas and ω-automata.
Last Updated
Apr 26, 2026 at 08:02
License
GPL-3.0-or-later
GitHub Repository
https://gitlab.lre.epita.fr/spot/spot/Documentation
https://spot.lre.epita.fr/