pub unsafe extern "C" fn SCIPsetPropExit(
scip: *mut SCIP,
prop: *mut SCIP_PROP,
propexit: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
) -> SCIP_RETCODEExpand description
sets deinitialization method of propagator