pub unsafe extern "C" fn SCIPcomputeCoverUndercover(
scip: *mut SCIP,
coversize: *mut c_int,
cover: *mut *mut SCIP_VAR,
timelimit: f64,
memorylimit: f64,
objlimit: f64,
globalbounds: c_uint,
onlyconvexify: c_uint,
coverbd: c_uint,
coveringobj: c_char,
success: *mut c_uint,
) -> SCIP_RETCODEExpand description
computes a minimal set of covering variables