pub unsafe extern "C" fn SCIPgetNBenders(scip: *mut SCIP) -> c_int
returns the number of currently available Benders’ decomposition