12. The computer-readable storage medium of claim 11 , wherein the operations further comprise: 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.
12. The computer-readable storage medium of claim 11 , wherein the operations further comprise: 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. 15. The computer-readable storage medium of claim 12 , wherein the operations further comprise: 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.