pub unsafe extern "C" fn SCIPisSumGT( scip: *mut SCIP, val1: f64, val2: f64, ) -> c_uint
checks if val1 is (more than sumepsilon) greater than val2