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

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

Спасибо