Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods and files provided by the default presolvers of SCIP

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

Modules

 Inclusion methods
 methods to include specific presolvers into SCIP
 

Files

file  presol_boundshift.h
 presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a]
 
file  presol_convertinttobin.c
 presolver that converts integer variables to binaries
 
file  presol_convertinttobin.h
 presolver that converts integer variables with domain [a,a+1] to binaries
 
file  presol_domcol.c
 dominated column presolver
 
file  presol_domcol.h
 dominated column presolver
 
file  presol_dualagg.h
 aggregate variables by dual arguments
 
file  presol_dualcomp.h
 dual compensation presolver
 
file  presol_dualinfer.c
 dual inference presolver
 
file  presol_dualinfer.h
 dual inference presolver
 
file  presol_gateextraction.h
 gateextraction presolver
 
file  presol_implfree.h
 exploit implied free variables for multi-aggregation
 
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_qpkktref.h
 qpkktref presolver
 
file  presol_redvub.h
 remove redundant variable upper bound constraints
 
file  presol_stuffing.h
 fix singleton continuous variables
 
file  presol_symbreak.h
 presolver for adding symmetry breaking constraints
 
file  presol_symmetry.h
 presolver for storing symmetry information about current problem
 
file  presol_trivial.h
 trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds
 
file  presol_tworowbnd.h
 do bound tightening by using two rows