Explore projects

Génère les informations pour les systèmes de routage de EIDA et de la FDSN

Gestion des configurations temps réel

Website: https://extrem-gs.gricad-pages.univ-grenoble-alpes.fr/school-num

Outil de création de fiches de poursuites d'études lié à ScoDoc

Cours Rétroactions pour l'évaluation ; Inspé - MEEF-PIF

A CEGAR-based solver for maximum model counting