以前版本的Z3 for linux

Question

有誰知道我們如何才能得到以前版本的z3 for linux 64？我使用Ubuntu 10.04和它不包括GLIBGXX 3.4.14這是由Z3 3.2（版本我現在有）要求。所以我想知道我是否可以訪問以前的版本。

另外，如果有人知道我怎麼能在Ubuntu 10.04上克服這個問題（也許是一種獲得GLIBCXX 3.4.14的方法），我將不勝感激。

謝謝

Answer 1

舊版本在Z3網站上仍然可用。但是，我們不提供指向他們的鏈接。您可以從

http://research.microsoft.com/en-us/um/redmond/projects/z3/

下載它們下面是完整的列表：

z3-2.0.1.tar.gz 
z3-2.10.tar.gz 
z3-2.11.tar.gz 
z3-2.12.tar.gz 
z3-2.13.tar.gz 
z3-2.15.tar.gz 
z3-2.17.tar.gz 
z3-2.18-x64.tar.gz 
z3-2.18.1.tar.gz 
z3-2.18.tar.gz 
z3-2.19.1.tar.gz 
z3-2.19.tar.gz 
z3-2.2.tar.gz 
z3-2.3.1.tar.gz 
z3-2.3.tar.gz 
z3-2.4.1.tar.gz 
z3-2.4.tar.gz 
z3-2.5.tar.gz 
z3-2.6.tar.gz 
z3-2.7.tar.gz 
z3-2.8.tar.gz 
z3-3.0-x64.tar.gz 
z3-3.0.tar.gz 
z3-3.1.tar.gz 
z3-3.2.beta.tar.gz 
z3-3.2.tar.gz 
z3-4.0.tar.gz 
z3-osx-3.2.1.tar.gz 
z3-osx-3.2.tar.gz 
z3-osx-4.0-preview.tar.gz 
z3-osx-4.0.tar.gz 
z3-osx32-4.0.tar.gz 
z3-x64-2.15.tar.gz 
z3-x64-2.18.tar.gz 
z3-x64-2.19.tar.gz 
z3-x64-3.0.tar.gz 
z3-x64-3.1.tar.gz 
z3-x64-3.2.beta.tar.gz 
z3-x64-3.2.tar.gz 
z3-x64-4.0.tar.gz 

Answer 2

萊昂納多是對的，但你無法找到該網頁的下載鏈接。 您必須使用程序列表並使用類似：

http://research.microsoft.com/en-us/um/redmond/projects/z3/z3-3.2.tar.gz 。您可以在Leonardo提供的列表中將粗體文件名加粗加1。