google/souper — pull request #146 by jeroenk (2014-12-20 17:07:03+00:00)
Title: Z3 can produce models

The additional command line argument requires at least z3 v 4.3.2 (the latest stable version).