pub unsafe extern "C" fn SCIPfindProp( scip: *mut SCIP, name: *const c_char, ) -> *mut SCIP_PROP
returns the propagator of the given name, or NULL if not existing