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-2026 Zuse Institute Berlin (ZIB) */
    7/* */
    8/* Licensed under the Apache License, Version 2.0 (the "License"); */
    9/* you may not use this file except in compliance with the License. */
    10/* You may obtain a copy of the License at */
    11/* */
    12/* http://www.apache.org/licenses/LICENSE-2.0 */
    13/* */
    14/* Unless required by applicable law or agreed to in writing, software */
    15/* distributed under the License is distributed on an "AS IS" BASIS, */
    16/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
    17/* See the License for the specific language governing permissions and */
    18/* limitations under the License. */
    19/* */
    20/* You should have received a copy of the Apache-2.0 license */
    21/* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
    22/* */
    23/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
    24
    25/**@file xternal_gmi.c
    26 * @brief main document page
    27 * @author Marc Pfetsch
    28 */
    29
    30/*--+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
    31
    32/**@page GMI_MAIN Gomory Mixed Integer Cut
    33 * @version 1.0
    34 * @author Giacomo Nannicini
    35 * @author Marc Pfetsch
    36 *
    37 *
    38 * This example provides a textbook implementation of Gomory mixed integer (GMI) cuts.
    39 *
    40 * The default implementation in SCIP does not produce GMI cuts in the strict sense, since it applies the CMIR function
    41 * to the aggregated row. This function can, among other things, take variable bounds into account. Thus, the resulting
    42 * cuts cannot be used for comparison with standard GMI cuts. This example remedies this situation.
    43 *
    44 * The implementation has been used in the paper
    45 *
    46 * G. Cornuejols, F. Margot and G. Nannicini:@n
    47 * On the safety of Gomory cut generators.@n
    48 * Math. Program. Comput. 5(4), 2013.
    49 *
    50 * Installation
    51 * ------------
    52 *
    53 * See the @ref INSTALL_APPLICATIONS_EXAMPLES "Install file"
    54 */