- changed title to Use z3 4.6.0
Use z3 4.6.0
Issue #5
new
Migrate to latest Z3. Right now get-interpolant produces in Z3 4.6.0 which did not happen in 4.5.0. Wait until a fix to Z3 before moving to 4.6.x.
Comments (2)
-
reporter -
Version 4.8.5 is the latest release now. Is it safe to move to it?
- Log in to comment