Function SCIPsolCheck 

pub unsafe extern "C" fn SCIPsolCheck(
    sol: *mut SCIP_SOL,
    set: *mut SCIP_SET,
    messagehdlr: *mut SCIP_MESSAGEHDLR,
    blkmem: *mut BMS_BLKMEM,
    stat: *mut SCIP_STAT,
    prob: *mut SCIP_PROB,
    printreason: c_uint,
    completely: c_uint,
    checkbounds: c_uint,
    checkintegrality: c_uint,
    checklprows: c_uint,
    feasible: *mut c_uint,
) -> SCIP_RETCODE

checks primal CIP solution for feasibility

@note The difference between SCIPsolCheck() and SCIPcheckSolOrig() is that modifiable constraints are handled differently. There might be some variables which do not have an original counter part (e.g. in branch-and-price). Therefore, modifiable constraints can not be double-checked in the original space.