pub unsafe extern "C" fn SCIPsetIsSumGE( set: *mut SCIP_SET, val1: f64, val2: f64, ) -> c_uint
checks if val1 is not (more than sumepsilon) lower than val2