Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cmake: accept enable-model-checking as an alias to enable_model-checking