Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
remove trace-resource from trace comparison, as results are unreliable and too large...