Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CI: build the model-checker on framagit, to test the MRs