Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: warn the users when reaching max-depth with DPOR