Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
coverage + modelchecker were behaving very badly (timeout for every test) on continuo...