Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
C++14 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
-
-
Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.
