spot
Platform for manipulation of LTL formulas and ω-automata.
Installation
To install this package, run one of the following:
Usage Tracking
2.14.5
2.14.4
2.14.3
2.14.2
2.14.1
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
Jan 12, 2026 at 16:39
License
GPL-3.0-or-later
Total Downloads
322.3K
Supported Platforms
macOS-arm64
linux-64
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/