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.
-
-
-
-
-
Online application for rewriting LTL formula or translating them into automata.
-
Web server for Spot
-
-
C++14 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
-
Debian packaging of Spins (from LTSmin)
-
-
-
-
Student templates for SCALAIN-E
-
Builds the docker image that runs on spot-sandbox.lrde.epita.fr.
-
Code sample for paper at repo: https://gitlab.lrde.epita.fr/carlinet/roynard.2020.icip
-
-
-
