Explore projects

Optimized tool for parallel Bounded model-checking problem

Web server for Spot

Clojure implementation of rational type expressions

Dockerfiles for constructing build environments for Spot

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!

Conan packaging for https://github.com/pybind/pybind11

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

Emacs support for features related to Spot.

PaInleSS: a Framework for Parallel SAT Solving.

Petri-Net model checker (obsolete demo for Spot)