Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
split a piece of src/mc/ModelChecker.cpp into src/mc/remote/EventLoop.cpp