Propagators

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.

Files
file	prop_dualfix.h
	fixing roundable variables to best bound
file	prop_genvbounds.c
	generalized variable bounds propagator
file	prop_genvbounds.h
	generalized variable bounds propagator
file	prop_obbt.c
	optimization-based bound tightening 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