如何安裝iZ3？

我正在嘗試使用iZ3來生成插值。但是，安裝Z3後沒有iZ3二進制文件，並且找不到有關如何安裝它的任何信息。如何安裝iZ3？

謝謝！

2012-11-15 user1825384

iZ3不是最新的版本。 Z3 4.1是包含iZ3的最新版本。這個版本可以在這裏找到：http://research.microsoft.com/en-us/um/redmond/projects/z3/older_z3.html。請記住，iZ3依賴於不屬於Microsoft的軟件組件，並且無法通過http://z3.codeplex.com的其他源代碼進行發佈。

來源

2012-11-15 03:21:13

感謝您的回覆。我正在研究Linux，所以我不能使用msi文件。我嘗試了最舊的版本Z3 4.1.1，並且在那裏沒有iZ3。我怎樣才能在Linux上使用iZ3？ – user1825384

以下是適用於Linux的Z3 4.1的鏈接：http://research.microsoft.com/en-us/um/redmond/projects/z3/z3-x64-4.1.tar.gz。下面的答案解釋了名稱約定：http://stackoverflow.com/questions/11122735/previous-version-of-z3-for-linux –

非常感謝答案！ – user1825384

如何安裝iZ3？

回答

相關問題