Default Propagators
Detailed Description
implementation files (.c files) of the default propagators of SCIP
Files | |
file | prop_dualfix.c |
fixing roundable variables to best bound | |
file | prop_genvbounds.c |
generalized variable bounds propagator | |
file | prop_nlobbt.c |
nlobbt propagator | |
file | prop_obbt.c |
optimization-based bound tightening propagator | |
file | prop_probing.c |
probing propagator | |
file | prop_pseudoobj.c |
Pseudo objective propagator. | |
file | prop_redcost.c |
propagator using the LP reduced cost and the cutoff bound | |
file | prop_rootredcost.c |
reduced cost strengthening using root node reduced costs and the cutoff bound | |
file | prop_symmetry.c |
propagator for handling symmetries | |
file | prop_sync.c |
propagator for applying global bound changes that were communicated by other concurrent solvers | |
file | prop_vbounds.c |
variable upper and lower bound propagator | |