Кто-нибудь знает, как мы можем получить предыдущие версии z3 для Linux 64? Я использую Ubuntu 10.04, и он не включает GLIBGXX 3.4.14, который требуется z3 3.2 (у меня в настоящее время версия). Поэтому мне было интересно, могу ли я получить доступ к предыдущей версии.Предыдущая версия Z3 для linux
Также, если кто-нибудь знает, как я могу преодолеть эту проблему (возможно, получить GLIBCXX 3.4.14) на Ubuntu 10.04. Я был бы признателен за помощь.
Благодаря
http://www.askubuntu.com –