Scippy

SCIP

Solving Constraint Integer Programs

presol_boundshift.h File Reference

Detailed Description

presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a]

Author
Tobias Achterberg
Michael Winkler

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

\[ x = y + a \]

Definition in file presol_boundshift.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_EXPORT SCIP_RETCODE SCIPincludePresolBoundshift (SCIP *scip)