Function SCIPlpGetProvedLowerbound 

pub unsafe extern "C" fn SCIPlpGetProvedLowerbound(
    lp: *mut SCIP_LP,
    set: *mut SCIP_SET,
    bound: *mut f64,
) -> SCIP_RETCODE

gets proven lower (dual) bound of last LP solution