Default Presolvers

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_implint.c
	Presolver that detects implicit integer variables.
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