psuter/ScalaZ3 — pull request #22 by colder (2013-02-27 16:57:55+00:00)
Title: Use Z3_model_eval instead of the deprecated Z3_eval.

For BC we set reconstruct_models to false, but it might be
avantageous to turn it on and let Z3 complete partial models instead of
doing it ourselves later (i.e. in Leon).