问题描述
有谁知道我们如何为 linux 64 获得以前版本的 z3?我使用的是 Ubuntu 10.04，它不包括 z3 3.2(我目前拥有的版本)所需的 GLIBGXX 3.4.14.所以我想知道我是否可以访问以前的版本.
Does anyone know how we can get previous versions of z3 for linux 64? I am using Ubuntu 10.04 and it does not include GLIBGXX 3.4.14 which is required by z3 3.2 (the version I currently have). So I was wondering if I could get access to a previous version.
另外，如果有人知道我如何在 Ubuntu 10.04 上克服这个问题(也许是获得 GLIBCXX 3.4.14 的一种方法)，我将不胜感激.
Also if anyone knows how can I overcome this problem (maybe a way to get GLIBCXX 3.4.14) on Ubuntu 10.04 I would appreciate the help.
谢谢
推荐答案
Z3 网站上仍然提供旧版本.但是，我们不提供指向它们的链接.您可以从
The old versions are still available on the Z3 website. However, we do not provide links to them. You can download them from
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
这篇关于适用于 linux 的 Z3 以前的版本的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！