Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm, because that's what it is