我在哪里可以获得 Z3opt 的 windows/linux 个二进制文件
Where can I get windows/linux binaries for Z3opt
在线教程中提到的link不包含任何link选择分支：
http://z3.codeplex.com/
并且下载部分下也没有任何页面...是否可以获得 windows/linux 的二进制文件？
谢谢
它在 "Source" 页面上，您可以在其中 select 您想要查看的分支。一旦你 git 克隆了整个存储库，你还可以 select 命令行上的不稳定分支，或者任何你喜欢的 git 客户端。
目前我们不构建包含 opt 分支的二进制文件，下载部分中的二进制文件是主版本，如果您在右侧面板中 select "planned"可以获得不稳定的二进制文件。
Codeplex 目前正在进行认真的维护工作，因此您可能需要尝试多次才能获得所需的内容。
这里https://github.com/Z3Prover/z3/branches select选择分支
在线教程中提到的link不包含任何link选择分支：
http://z3.codeplex.com/
并且下载部分下也没有任何页面...是否可以获得 windows/linux 的二进制文件？
谢谢
它在 "Source" 页面上，您可以在其中 select 您想要查看的分支。一旦你 git 克隆了整个存储库，你还可以 select 命令行上的不稳定分支，或者任何你喜欢的 git 客户端。
目前我们不构建包含 opt 分支的二进制文件，下载部分中的二进制文件是主版本，如果您在右侧面板中 select "planned"可以获得不稳定的二进制文件。
Codeplex 目前正在进行认真的维护工作，因此您可能需要尝试多次才能获得所需的内容。
这里https://github.com/Z3Prover/z3/branches select选择分支