GitLab

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

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

Dockerfiles for constructing build environments for Spot

Debian package to distribute the divine binary patched for LTSmin.

Clojure implementation of rational type expressions

Everything on my master internship from my return to Paris the 2 june. I have problems concerning the original project because of very heavy data files in the repository history, that's why I'm starting a new one. I'll try to keep this one cleaner!

Online application for rewriting LTL formula or translating them into automata.

Debian packaging of Spins (from LTSmin)

Web server for Spot

This is an open solution to the https://endocv.grand-challenge.org/

Scala library containing many functions which Scala developers coming from Common Lisp will miss.