上一页Z3的Linux版(Previous version of Z3 for linux)

有谁知道怎么样能Z3的早期版本对于Linux 64？我使用Ubuntu 10.04和它不包括GLIBGXX 3.4.14这是由Z3 3.2（版本我现在有）要求。所以我在想，如果我能得到访问到以前的版本。

此外，如果有人知道我怎样才能克服这个问题（也许有办法让GLIBCXX 3.4.14）Ubuntu的10.04我将不胜感激帮助。

谢谢

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