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

Code sample for paper at repo: https://gitlab.lrde.epita.fr/carlinet/roynard.2020.icip

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.

Scala code for Mississippi Governor's School

Dockerfiles for constructing build environments for Spot

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

Emacs support for features related to Spot.

Debian packaging of Spins (from LTSmin)