Explore projects

Suite de projet2-rendu2, toujours sur le langage fouine avec l'objectif de parvenir à quelque chose de plus abouti.

Notes prises en 2019-2020 du cours dep-9331

Interpéteur / compilateur Fouine

Workshop Fondations et Information Quantique

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