pub unsafe extern "C" fn SCIPgetNPresols(scip: *mut SCIP) -> c_int
returns the number of currently available presolvers