Czy ktoś wie, jak możemy uzyskać poprzednie wersje z3 dla Linuksa 64? Używam Ubuntu 10.04 i nie zawiera GLIBGXX 3.4.14, który jest wymagany przez z3 3.2 (wersja, którą obecnie mam). Zastanawiałem się, czy mogę uzyskać dostęp do poprzedniej wersji.

Również jeśli ktoś wie, jak mogę rozwiązać ten problem (być może sposób na uzyskanie GLIBCXX 3.4.14) w Ubuntu 10.04 byłbym wdzięczny za pomoc.

Dzięki