Explore projects

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

Dockerfiles for constructing build environments for Spot

Implementation of RTE (rational type expressions) in Python

Web server for Spot

This repository contains support material for THEG-English. Students should regulary git pull to assure to have the latest material.

PaInleSS: a Framework for Parallel SAT Solving.

Petri-Net model checker (obsolete demo for Spot)