pub const SCIP_Status_SCIP_STATUS_UNBOUNDED: SCIP_Status = 13;
Expand description

< the problem was proven to be unbounded