google/souper — pull request #16 by regehr (2014-06-06 16:57:08+00:00)
Title: Caching

cache previously computed results within Souper

this includes some refactoring suggested by Peter to avoid using the CandidateMap from Pass

anyway it was pretty inelegant to repeatedly create the Solver from Pass, this is much nicer