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

Debian package to distribute the divine binary patched for LTSmin.

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

Web server for Spot

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

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.

Conan packaging of freeimage project

Conan packaging recipe for google benchmark library

Dockerfiles for constructing build environments for Spot