Z3 java绑定？

Question

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

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

我看到rc和stable都有一个带有实际例子的example / java文件夹，

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

如何启用和构建它们？

此致

Answer 1

是的，Java绑定现在是（截至4.3.2版本）Z3的一部分。有关文档，您可能需要查看Java源代码中的注释。但是，关于内存泄漏仍有一个未解决的问题（参见this codeplex issue）。 de Mouras Blog上的构建指令看起来有点过时，即你不需要传递＆＃34; - java＆＃34;对于mk_make来说，构建java绑定是新的默认设置（但似乎有一个＆＃34; - nojava＆＃34;选项）。所以你有：

1. python scripts / mk_make.py
2. cd build
3. make all

我应该补充一点，您可以在Z3 codeplex下载页面上下载预建包（请参阅右侧面板并切换到＆＃34;计划＆＃34;如果您不是Windows用户或想要最新的不稳定分支）其中包含Java绑定。