java - Z3 java 绑定(bind)？

Question

此页面上的信息仍然是最新的吗？

http://leodemoura.github.io/blog/2012/12/10/z3-for-java.html

我看到 rc 和 stable 都有一个 example/java 文件夹，其中包含实际示例，

这是否意味着 java 绑定(bind)现在是 stable/rc 分支的一部分？

如何启用和构建它们？

问候，

Answer 1

是的，Java 绑定(bind)现在(从 4.3.2 版本开始)是 Z3 的一部分。对于文档，您可能需要查看 Java 源代码中的注释。但是，关于内存泄漏仍然存在一个 Unresolved 问题(请参阅 this codeplex issue )。 de Mouras Blog 上的构建说明看起来有点过时，即，您不需要将“--java”传递给 mk_make，构建 java 绑定(bind)是新的默认值(但似乎有一个“--nojava”选项)。所以你有:

1. python 脚本/mk_make.py
2. cd 构建
3. 全部制作

我应该补充一点，您可以在 Z3 codeplex 下载页面上下载包含 Java 绑定(bind)的预构建包(如果您不是 Windows 用户或想要最新的不稳定分支，请参阅右侧面板并切换到“计划”)。