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

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

http://z3.codeplex.com/

而且下载部分也没有任何页面。。。可以获取windows/linux的二进制文件吗

谢谢

它位于“源”页面上，您可以在该页面上选择要查看的分支。一旦git克隆了整个存储库，您还可以在命令行上选择不稳定的分支，或者选择您首选的git客户端

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

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

这里是“选择分支”