pub unsafe extern "C" fn SCIPpropGetName( prop: *mut SCIP_PROP, ) -> *const c_char
gets name of propagator