SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
This example provides a textbook implementation of Gomory mixed integer (GMI) cuts.
The default implementation in SCIP does not produce GMI cuts in the strict sense, since it applies the CMIR function to the aggregated row. This function can, among other things, take variable bounds into account. Thus, the resulting cuts cannot be used for comparison with standard GMI cuts. This example remedies this situation.
The implementation has been used in the paperG. Cornuejols, F. Margot and G. Nannicini:
On the safety of Gomory cut generators.
Preprint 2012.