Question

有谁知道如何为linux 64获取以前版本的z3？我使用的是Ubuntu 10.04，它不包括z3 3.2（我目前拥有的版本）所需的GLIBGXX 3.4.14。所以我想知道我是否可以访问以前的版本。

如果有人知道如何在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

Leonardo是对的，但您无法在该页面中找到下载链接。您必须使用程序列表并使用以下内容：

http://research.microsoft.com/en-us/um/redmond/projects/z3/z3-3.2.tar.gz 。您可以在莱昂纳多提供的列表中以粗体更改文件名。

以前版本的Z3 for linux

2 个答案: