scip_sys

Constant SCIP_ParamEmphasis_SCIP_PARAMEMPHASIS_PHASEPROOF

Source 
pub const SCIP_ParamEmphasis_SCIP_PARAMEMPHASIS_PHASEPROOF: SCIP_ParamEmphasis = 9;
Expand description

< proof phase settings during 3-phase solving approach