Solving Constraint Integer Programs


Detailed Description

This page contains a list of all propagators which are currently available.

A detailed description what a propagator does and how to add a propagator to SCIP can be found here.


file  prop_dualfix.h
 fixing roundable variables to best bound
file  prop_genvbounds.h
 generalized variable bounds propagator
file  prop_obbt.h
 optimization-based bound tightening propagator
file  prop_probing.h
 probing propagator
file  prop_pseudoobj.h
 Pseudo objective propagator.
file  prop_redcost.h
 propagator using the LP reduced cost and the cutoff bound
file  prop_rootredcost.h
 reduced cost strengthening using root node reduced costs and the cutoff bound
file  prop_vbounds.h
 variable upper and lower bound propagator