CumulativeConstraint #3785

What language and solver does this apply to?
All, Python, Java, C#, C++ / CP-SAT

Describe the problem you are trying to solve.
CumulativeConstraint currently only ensures that for any integer point, the sum of the demands of the intervals containing that point does not exceed the capacity. I would like to have a constraint to achieve the opposite - for any integer point, the sum of the demands of the intervals containing that point exceeds the capacity
Describe the solution you'd like
for any integer point, the sum of the demands of the intervals containing that point exceeds the capacity
CumulativeConstraint AddCumulativeMin(LinearExpr capacity);