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_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 | |