Bring scalaz3 up to dates with z3 4.3

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Closed colder closed 11 years ago

colder commented 11 years ago

psuter commented 11 years ago

"Reference counting for most z3 objects." Which ones do not have it yet?

colder commented 11 years ago

AFAIK only things that we don't currently support:

ASTMap ApplyResult FuncEntry FuncInterpret Goal Params Probe Statistics FixedPoint

psuter commented 11 years ago

Great! Thanks.