Scippy

SCIP

Solving Constraint Integer Programs

Presolvers

Detailed Description

This page contains a list of all presolvers which are currently available.

A detailed description what a presolver does and how to add a presolver to SCIP can be found here.

Files

file  presol_boundshift.h
 presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a]
 
file  presol_components.h
 components presolver
 
file  presol_gateextraction.h
 gateextraction presolver
 
file  presol_implics.h
 implication graph presolver which checks for aggregations
 
file  presol_inttobinary.h
 presolver that converts integer variables with domain [a,a+1] to binaries
 
file  presol_trivial.h
 trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds