开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Z3解决方案: Java的稳定版本

问Z3解决方案: Java的稳定版本
EN

Stack Overflow用户

提问于 2014-10-23 14:14:50

回答 1查看 133关注 0票数 1

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

这是存在于一些分支，如cade24或rc和其他。我不知道该选哪一个。有人能帮忙吗？

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2014-10-23 16:03:45

目前最好的方法是使用unstable分支。不久将有一个新的主版本，它将确切地包含Java当前的内容。

票数 1

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/26530162

复制

相似问题