我在哪里可以获得Z3opt的windows / linux二进制文件

Question

在线教程中提到的链接不包含任何指向opt分支的链接：

http://z3.codeplex.com/

并且下载部分下没有任何页面......是否可以获取windows / linux的二进制文件？

由于

Answer 1

它位于“源”页面，您可以在其中选择您想要查看的分支。一旦你git克隆了整个存储库，你也可以在命令行上选择不稳定的分支，或者你喜欢的任何git客户端。

目前我们不构建包含opt分支的二进制文件，下载部分中的二进制文件是主版本，如果在右侧面板中选择“计划”，则可以获得不稳定的二进制文件。

Codeplex目前正在进行严肃的维护工作，因此您可能需要多次尝试才能得到所需的信息。

Answer 2

在这里https://github.com/Z3Prover/z3/branches选择opt branch。