pub unsafe extern "C" fn SCIPpropDoesPresolve( prop: *mut SCIP_PROP, ) -> c_uint
does the propagator perform presolving?