Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

implementation files (.c files) of the default presolvers of SCIP

Files

file  presol_boundshift.c
 presolver that converts variables with domain [a,b] to variables with domain [0,b-a]
 
file  presol_convertinttobin.c
 presolver that converts integer variables to binaries
 
file  presol_domcol.c
 dominated column presolver
 
file  presol_dualagg.c
 aggregate variables by dual arguments
 
file  presol_dualcomp.c
 dual compensation presolver
 
file  presol_dualinfer.c
 dual inference presolver
 
file  presol_gateextraction.c
 gateextraction presolver
 
file  presol_implics.c
 implics presolver
 
file  presol_inttobinary.c
 presolver that converts integer variables with domain [a,a+1] to binaries
 
file  presol_qpkktref.c
 qpkktref presolver
 
file  presol_redvub.c
 remove redundant variable upper bound constraints
 
file  presol_sparsify.c
 cancel non-zeros of the constraint matrix
 
file  presol_stuffing.c
 fix singleton continuous variables
 
file  presol_trivial.c
 trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds
 
file  presol_tworowbnd.c
 do bound tightening by using two rows
 
file  presol_tworowbnd.h
 do bound tightening by using two rows