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

Emacs support for features related to Spot.

Dockerfiles for constructing build environments for Spot

Debian packaging of Spins (from LTSmin)

Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.

See http://vcsn.lrde.epita.fr.

Online application for rewriting LTL formula or translating them into automata.

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

Conan packaging recipe for google benchmark library

Conan packaging of freeimage project

Conan packaging for https://github.com/pybind/pybind11