SCIP_Result_SCIP_CUTOFF

Constant SCIP_Result_SCIP_CUTOFF 

Source
pub const SCIP_Result_SCIP_CUTOFF: SCIP_Result = 7;
Expand description

< the current node is infeasible and can be cut off