Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Bugfix: manually increase the time when running the model-checkers on sleep calls.