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.h |
presolver that converts integer variables with domain [a,a+1] to binaries | |
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.h |
dual inference presolver | |
file | presol_gateextraction.h |
gateextraction presolver | |
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_milp.h |
MILP presolver that calls the presolve library on the constraint matrix. | |
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_trivial.h |
trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds | |