SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
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_domcol.c |
| dominated column presolver | |
| file | presol_dualinfer.c |
| 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_trivial.h |
| trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds | |
