XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_maxmin, surf, "Logging specific to SURF (maxmin)");
double sg_maxmin_precision = 0.00001; /* Change this with --cfg=maxmin/precision:VALUE */
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_maxmin, surf, "Logging specific to SURF (maxmin)");
double sg_maxmin_precision = 0.00001; /* Change this with --cfg=maxmin/precision:VALUE */