pub unsafe extern "C" fn SCIPsetPropResprop(
scip: *mut SCIP,
prop: *mut SCIP_PROP,
propresprop: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP, infervar: *mut SCIP_VAR, inferinfo: c_int, boundtype: SCIP_BOUNDTYPE, bdchgidx: *mut SCIP_BDCHGIDX, relaxedbd: f64, result: *mut SCIP_RESULT) -> SCIP_RETCODE>,
) -> SCIP_RETCODEExpand description
sets propagation conflict resolving callback of propagator