google/souper — pull request #15 by regehr (2014-06-06 02:37:06+00:00)
Title: Caching

I didn't understand that the Solver was re-instantiated every time LLVM called Souper, so the cache kept getting emptied out. This is fixed and now we get cache hits as expected.