我在哪里可以得到Z3opt

Question

在网上的教程中提到的链接窗口/ Linux程序不包含任何链接选择分支：

http://z3.codeplex.com/ 

，也没有在下载部分的任何网页.. 。是否有可能得到的Windows/Linux的二进制文件？

感谢

Answer 1

这是“源”页面，您可以选择您想看到的分支上。一旦你把git克隆了整个仓库，你也可以在命令行中选择不稳定的分支，或者你的首选git客户端。

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

Codeplex目前正在进行严格的维护工作，因此您可能需要多次尝试才能获得所需的内容。

Answer 2

这里是https://github.com/Z3Prover/z3/branches select opt分支。