Constant SCIP_HASHSIZE_VBC

Source
pub const SCIP_HASHSIZE_VBC: u32 = 500;