Function SCIPisViolatedIndicator 

pub unsafe extern "C" fn SCIPisViolatedIndicator(
    scip: *mut SCIP,
    cons: *mut SCIP_CONS,
    sol: *mut SCIP_SOL,
) -> c_uint

checks whether indicator constraint is violated w.r.t. sol