我在哪裏可以得到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分支。