Hi ! I saw that the cumulative constraint in Gecode only supports value consistency. But does it means that this constraint performs no propagation at all and simply checks a total assignment or is there still some propagation when only a few variables get instanciated ? Cheers, Jeremie Vautard