pub type SCIP_Setting = c_uint;
possible settings for enabling/disabling algorithms and other features