pub unsafe extern "C" fn SCIPpropGetNAddConss( prop: *mut SCIP_PROP ) -> c_int
gets number of constraints added during presolving of propagator