Z3 Java Bindings 和 CLI 有不同的版本

Question

我从 GitHub 下载了 Z3 的最新稳定版本，即 4.8.7。使用 CLI 工具，当我编写 $ ./z3 -version 时，我得到 Z3 version 4.8.7 - 64 bit，但是当我在我的 Java 代码中执行 System.out.println(Version.getFullVersion()) 时（其中有 import com.microsoft.z3.*），我得到 Z3 4.8.6.0。

有没有办法将 Z3 Java 绑定升级到4.8.7，即最新版本？

Answer 1

我按照自己的指示 :-) here，并使用生成的 jar 获取：

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