Getting real-valued models from Z3

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Getting real-valued models from Z3 #25

Closed malyzajko closed 10 years ago

malyzajko commented 11 years ago

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.

colder commented 10 years ago

Merged