Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Those are already declared in ./include/simgrid/modelchecker.h.