Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Do not handle mc_model_checker->parent_snapshot unless it is necessary