Constant SCIP_HASHSIZE_NAMES

Source
pub const SCIP_HASHSIZE_NAMES: u32 = 500;