pub unsafe extern "C" fn SCIPsolUpdateIntegralityViolation( sol: *mut SCIP_SOL, absviolintegrality: f64, )
update integrality violation of a solution