pub unsafe extern "C" fn SCIPsetPropExitsol(
    scip: *mut SCIP,
    prop: *mut SCIP_PROP,
    propexitsol: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP, restart: c_uint) -> SCIP_RETCODE>
) -> SCIP_RETCODE
Expand description

sets solving process deinitialization method of propagator