The constraint to be added as a global cut. The constraint must be linear.
Return Value
The cut that has been added.
Remarks
This cut must be globally valid. It will not be removed by backtracking or any other means during the search. The cut must also not cut off any solution.