Parcoursup

Description
Reference implementation in WhyML of national algorithms in Parcoursup
Use cases
formal methods, social choice
LaBRI contributors
Hugo Gimbert, Gérald Point, Pierre Castéran
Source code depot
https://gitub.u-bordeaux.fr/parcoursup/why3
Supported OS
Linux, MacOS, Windows
More informations
https://gitub.u-bordeaux.fr/parcoursup/why3

Back