pub type SCIP_ParamSetting = c_uint;
possible parameter settings - used to determine the behavior of different SCIP components, e.g., heuristics, separators, …