Предыдущая версия Z3 для Linux

Кто-нибудь знает, как мы можем получить предыдущие версии z3 для Linux 64? Я использую Ubuntu 10.04, и он не включает GLIBGXX 3.4.14, который требуется для z3 3.2 (версия, которая у меня сейчас есть). Поэтому мне было интересно, смогу ли я получить доступ к предыдущей версии.

Кроме того, если кто-нибудь знает, как я могу преодолеть эту проблему (возможно, способ получить GLIBCXX 3.4.14) в Ubuntu 10.04, я был бы признателен за помощь.

Спасибо

 Alex W20 июн. 2012 г., 17:21
 Javier09 июл. 2018 г., 16:59
нужно обновить, релизы сейчас подgithub.com/Z3Prover/z3/releases

Ответы на вопрос(2)

Решение Вопроса

ставляем ссылки на них. Вы можете скачать их с

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

но вы не можете найти ссылку для скачивания на этой странице. Вы должны использовать список программ и использовать что-то вроде:

http://research.microsoft.com/en-us/um/redmond/projects/z3/z3-3.2.tar.gz , Вы можете изменить имя файла, выделенное жирным шрифтом, одним из списка, предоставленного Леонардо.

Ваш ответ на вопрос