Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove some restrictions on enable_model-checking now that it's only for the stateless MC