pub unsafe extern "C" fn SCIPupdateSolConsViolation( scip: *mut SCIP, sol: *mut SCIP_SOL, absviol: f64, relviol: f64, )
update constraint violation of a solution