This page contains a list of all presolvers which are currently available.
A detailed description what a presolver does and how to add a presolver to SCIP can be found here.
|
file | presol_boundshift.h |
| presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a]
|
|
file | presol_components.h |
| components 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_trivial.h |
| trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds
|
|