Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.
-
The original version of Vaucanson. You should rather use Vcsn now.
-
-
-
-
-
-
C++14 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
-
-
-
Web server for Spot
-
Emacs support for features related to Spot.
-
Builds the docker image that runs on spot-sandbox.lrde.epita.fr.
-
Debian package to distribute the divine binary patched for LTSmin.
-
-
Some developer utilities for CLOS program development
-
-
-
Debian packaging of Spins (from LTSmin)
-
Petri-Net model checker (obsolete demo for Spot)