1. A computer-implemented system that facilitates constraint solver processing, comprising: a bookkeeping component for representing input solver state of a computational thread as a set of graphs; and a merge component for pairwise merging of at least two input graphs of the set of graphs into a merged graph that represents final state of the computational thread.