Function SCIPupdateSolIntegralityViolation 

pub unsafe extern "C" fn SCIPupdateSolIntegralityViolation(
    scip: *mut SCIP,
    sol: *mut SCIP_SOL,
    absviol: f64,
)

update integrality violation of a solution