Scippy

SCIP

Solving Constraint Integer Programs

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