pub unsafe extern "C" fn SCIPbenderscutComp( elem1: *mut c_void, elem2: *mut c_void, ) -> c_int
compares two Benders’ decomposition cuts w. r. to their priority