pub unsafe extern "C" fn SCIPpropCompName( elem1: *mut c_void, elem2: *mut c_void, ) -> c_int
comparison method for sorting propagators w.r.t. to their name