pub unsafe extern "C" fn SCIPpropGetPresolPriority( prop: *mut SCIP_PROP, ) -> c_int
gets presolving priority of propagator