search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
122 stars 34 forks source link

Use Z3_model_eval instead of the deprecated Z3_eval. #22

Closed colder closed 11 years ago

colder commented 11 years ago

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).

colder commented 11 years ago

Ok, PR updated