Function SCIPtransformMinUC 

pub unsafe extern "C" fn SCIPtransformMinUC(
    scip: *mut SCIP,
    success: *mut c_uint,
) -> SCIP_RETCODE

transforms the current problem into a MinUC problem (minimizing the number of unsatisfied constraints), a CIP generalization of the MinULR (min. unsatisfied linear relations) problem