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

repo to help with debugging a suspected git vs gitkraken problem

Debian package to distribute the divine binary patched for LTSmin.

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

Dockerfiles for constructing build environments for Spot

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

Web server for Spot

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

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.