Scippy

SCIP

Solving Constraint Integer Programs

presol_domcol.h File Reference

Detailed Description

dominated column presolver

Author
Dieter Weninger

This presolver looks for dominance relations between variable pairs. From a dominance relation and certain bound/clique-constellations variable fixings mostly at the lower bound of the dominated variable can be derived. Additionally it is possible to improve bounds by predictive bound strengthening.

Definition in file presol_domcol.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePresolDomcol (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludePresolDomcol ( SCIP scip)

creates the dominated column presolver and includes it in SCIP

Parameters
scipSCIP data structure