Z3 Solver：Java API的稳定版本

Question

我想问一下如何使用Java API下载稳定版本的Z3？ 在codeplex中的主分支中，源不包含目录src/api/java。

这存在于cade24或rc等其他分支中。 我不知道哪一个可供选择。有人可以帮忙吗？

Answer 1

目前最好的方法是使用unstable分支。很快就会有一个新的主版本，它将包含现在Java的确切内容。