5. The method of claim 2 , further comprising: determining an index set for the quantifier based on one or more expressions associated with one or more indices of the quantified expression; and determining the symbolic variable based on the index set.
2. The method of claim 1 , further comprising: eliminating the quantifier through instantiating the quantifier with a symbolic variable; and determining whether the set of constraints is satisfiable based on the instantiation of the quantifier with the symbolic variable.