Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
For now model checking can not be compile with flto.