franck44 / scalaSMT / issues / #5 - Use z3 4.6.0 — Bitbucket

Issue #5 new

Franck Cassez repo owner created an issue 2018-01-15

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)

Franck Cassez reporter
- changed title to Use z3 4.6.0
- 2018-10-16T22:23:20+00:00
Tony Sloane
Version 4.8.5 is the latest release now. Is it safe to move to it?
- 2019-07-23T11:52:51+00:00
Log in to comment

Assignee: Franck Cassez

Type: enhancement

Priority: minor

Status: new

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!