Explore projects

Dockerfiles for constructing build environments for Spot

This deposit includes the progress of my internship. It contains the scripts necessary for the reissue of the Benchmarks as well as the sources of the distributed Union-Find implemented during the second part of the internship.