Constant SYMBOLIC_SOLVER_MODEL_CACHE_MAX_ENTRIES 

pub(crate) const SYMBOLIC_SOLVER_MODEL_CACHE_MAX_ENTRIES: usize = 512;