Presolvers

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