Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    presol_inttobinary.h File Reference
    Public API of SCIP » Plugin API of SCIP » Presolvers

    Detailed Description

    presolver that converts integer variables with domain [a,a+1] to binaries

    Author
    Tobias Achterberg

    This presolver converts all integer variables with domain \([a,a+1]\) to binaries variables. This is done by creating a new binary variable \(y\) which will be aggregated to the old variable \(x\) such that

    \[ x = y + a \]

    Definition in file presol_inttobinary.h.

    #include "scip/def.h"
    #include "scip/type_retcode.h"
    #include "scip/type_scip.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludePresolInttobinary (SCIP *scip)