z3 - Linux 用 Z3 の以前のバージョン

Question

Linux 64 用の以前のバージョンの z3 を入手する方法を知っている人はいますか? Ubuntu 10.04 を使用していますが、z3 3.2 (現在持っているバージョン) で必要な GLIBGXX 3.4.14 が含まれていません。そのため、以前のバージョンにアクセスできるかどうか疑問に思っていました。

また、Ubuntu 10.04 でこの問題を解決する方法 (おそらく GLIBCXX 3.4.14 を入手する方法) を誰かが知っている場合は、助けていただければ幸いです。

ありがとう

Answer 1

古いバージョンは、Z3Webサイトで引き続き入手できます。ただし、それらへのリンクは提供していません。あなたはそれらをダウンロードすることができます

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つずつ変更できます。