Explore projects

Emacs support for features related to Spot.

Docker file for SyntComp'25

Debian packaging of Spins (from LTSmin)

Python bindings of Pylene (in development)

Debian package to distribute the divine binary patched for LTSmin.

Student templates for SCALAIN-E

Implementation of RTE (rational type expressions) in Python

Optimized tool for parallel Bounded model-checking problem

Image dedicated to lrde/share repository tests.

PaInleSS: a Framework for Parallel SAT Solving.