Explore projects

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

Debian package to distribute the divine binary patched for LTSmin.

Optimized tool for parallel Bounded model-checking problem

PaInleSS: a Framework for Parallel SAT Solving.

Mirror of freeimage library. It enables us pulling sources from git instead of a random failing tarball on sourceforge when packaging it with conan.

The original version of Vaucanson. You should rather use Vcsn now.