pub unsafe extern "C" fn SCIPpropMarkExact(prop: *mut SCIP_PROP)
marks the propagator as safe to use in exact solving mode