Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Bugfix: Do not copy the communication data in the model-checker's main loop, it is...