1. A computer-implemented method of optimizing constraint resolution in a logic design verification system, comprising: obtaining a description of a verification environment having constrained objects used in a plurality of contexts, each constrained object including one or more variables subject to at least one constraint; converting, using a computer, the description of the verification environment into a hierarchical data structure by analyzing each of the plurality of contexts for the constrained objects incrementally to create nodes in the data structure, each node including a description of variables transitively connected by constraints and at least one node reusing a description from at least one other node; changing at least one of the constrained objects of the verification environment; analyzing the changed constrained object and reusing at least one unchanged constrained object; updating the data structure to incorporate changes made to the verification environment; and utilizing the data structure during logic design verification.