Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
check HAVE_MC before calling MC_assert