Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add a variable HAVE_MC for enable model-checking.