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.
6. The method of claim 2 , further comprising generating a solution of the set of constraints if the set of constraints is satisfiable.