Skip to content

GitLab

Explore

Sign in

Spot

Project information

C++17 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.

6,843 Commits
257 Branches
143 Tags

README
GNU GPLv3
CHANGELOG

Created on

December 05, 2014

Copy SSH clone URLgit@gitlab.lre.epita.fr:spot/spot.git
Copy HTTPS clone URLhttps://gitlab.lre.epita.fr/spot/spot.git

Loading