pub unsafe extern "C" fn SCIPgetHminCumulative( scip: *mut SCIP, cons: *mut SCIP_CONS, ) -> c_int
returns the left bound of the effective horizon