psuter/ScalaZ3 — pull request #25 by malyzajko (2013-04-18 05:27:00+00:00)
Title: Getting real-valued models from Z3

I'm not sure about the deprecated var Z3NumeralAST = Z3NumeralIntAST
in package.scala.
It seems to work fine in leon, i.e. it doesn't break it, but I don't get the deprecated warning.