spot
Platform for manipulation of LTL formulas and ω-automata.
Installation
To install this package, run one of the following:
Usage Tracking
2.14.4
2.14.3
2.14.2
2.14.1
2.14
5 / 8 versions selected
Downloads (Last 6 months): 0
Description
Spot is a C++17 library for LTL, ω-automata manipulation, and model checking. It also comes with a Python interface, and command-line tools.
About
Summary
Platform for manipulation of LTL formulas and ω-automata.
Last Updated
Dec 18, 2025 at 08:19
License
GPL-3.0-or-later
Total Downloads
311.0K
Supported Platforms
linux-64
macOS-arm64
Unsupported Platforms
macOS-64 Last supported version: 2.13.2
linux-aarch64 Last supported version: 2.12
linux-ppc64le Last supported version: 2.11.6
GitHub Repository
https://gitlab.lre.epita.fr/spot/spot/Documentation
https://spot.lre.epita.fr/