Function SCIPlpIsInfeasibilityProved 

pub unsafe extern "C" fn SCIPlpIsInfeasibilityProved(
    lp: *mut SCIP_LP,
    set: *mut SCIP_SET,
    proved: *mut c_uint,
) -> SCIP_RETCODE

gets proven dual bound of last LP solution