Explore projects
-
-
-
Updated
-
Updated
-
-
Updated
-
-
-
Codes utilisés dans le cadre de mon stage de L3. Caractérisation des substitutions permettant le pavage des groupes de BS(1,n).
Updated -
Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.
Updated -
Updated
-
Updated
-
Updated
-
-
-
-
Updated
-
Updated
-
Work for the M1 course of Data Bases and Data Mining at ENS de Lyon 2017-2018
Updated -
Updated