Explore projects

Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.

proj2

Interpéteur / compilateur Fouine

Repo for the code of my M1 internship.

Ce dépot contient la rédaction du chapitre 7 du poly de proba rédigé par Elodie Bernard, Jolyne Gatt, Nicolas Nardino