int lmm_cnstrs_min_concurrency_slack(lmm_variable_t var){
int i;
//FIXME MARTIN: Replace by infinite value std::numeric_limits<int>::(max)(), or something better within Simgrid?
int lmm_cnstrs_min_concurrency_slack(lmm_variable_t var){
int i;
//FIXME MARTIN: Replace by infinite value std::numeric_limits<int>::(max)(), or something better within Simgrid?