Function SCIPsolUpdateConsViolation 

pub unsafe extern "C" fn SCIPsolUpdateConsViolation(
    sol: *mut SCIP_SOL,
    absviolcons: f64,
    relviolcons: f64,
)

update constraint violation of a solution