Z3 Java Bindings and CLI have Different Versions

Question

I have downloaded the latest stable release of Z3 from GitHub, which is 4.8.7. With the CLI tool, when I write $ ./z3 -version I get Z3 version 4.8.7 - 64 bit, however when I do System.out.println(Version.getFullVersion()) in my Java code after (which has import com.microsoft.z3.*), I get Z3 4.8.6.0.

Is there a way to upgrade the Z3 Java bindings to 4.8.7, ie, the latest version?

score 1 · Answer 1 · answered Feb 25 '20 at 22:03

1

I followed my own instructions :-) here, and with the resulting jar get:

System.out.println(Version.getFullVersion()) // Z3 4.8.7.0

answered Feb 25 '20 at 22:03

David Soroko

8,521
2
39
51

By resulting jar you mean the one with Maven? – Sam Chats Feb 26 '20 at 02:00
Yes although, it is just a copy of the one from the distribution zip – David Soroko Feb 26 '20 at 06:02
It looks like the version value comes from native call, perhaps you have more then one version of Z3 installed? – David Soroko Feb 26 '20 at 07:38

Z3 Java Bindings and CLI have Different Versions

1 Answers1