Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: cosmetics (fight the mc_model_checker singleton)