Scippy

SCIP

Solving Constraint Integer Programs

xternal_gmi.c
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of the program and library */
4 /* SCIP --- Solving Constraint Integer Programs */
5 /* */
6 /* Copyright (C) 2002-2017 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file xternal_gmi.c
17  * @brief main document page
18  * @author Marc Pfetsch
19  */
20 
21 /*--+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
22 
23 /**@page GMI_MAIN Gomory Mixed Integer Cut Example
24  * @version 1.0
25  * @author Giacomo Nannicini
26  * @author Marc Pfetsch
27  *
28  *
29  * This example provides a textbook implementation of Gomory mixed integer (GMI) cuts.
30  *
31  * The default implementation in SCIP does not produce GMI cuts in the strict sense, since it applies the CMIR function
32  * to the aggregated row. This function can, among other things, take variable bounds into account. Thus, the resulting
33  * cuts cannot be used for comparison with standard GMI cuts. This example remedies this situation.
34  *
35  * The implementation has been used in the paper@p
36  * G. Cornuejols, F. Margot and G. Nannicini:@n
37  * On the safety of Gomory cut generators.@n
38  * Preprint 2012.
39  */