Explore projects
-
origram / origram
MIT LicenseUpdated -
Updated
-
-
ygazull / M2Internship-Yann-Situ
GNU General Public License v3.0 or laterCode from Yann-Situ's M2 internship about measuring holes of 3D objects (2021).
Updated -
Updated
-
-
-
Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.
Updated -
The c++ code used for simulation and testing of the model
Updated -
Marie de Sainte Marie / Intership 2023
GNU General Public License v3.0 onlyUpdated -
-
Updated
-
-
Updated
-
Updated
-
UpdatedUpdated
-
Updated
-
Updated
-
Updated