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.

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

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

Web server for Spot

Dockerfiles for constructing build environments for Spot

repo to help with debugging a suspected git vs gitkraken problem

Debian package to distribute the divine binary patched for LTSmin.