pub unsafe extern "C" fn SCIPsepaMarkExact(sepa: *mut SCIP_SEPA)
marks the separator as safe to use in exact solving mode