Alguém sabe como podemos obter versões anteriores do z3 para o linux 64? Estou usando o Ubuntu 10.04 e não inclui o GLIBGXX 3.4.14, que é exigido pelo z3 3.2 (a versão que tenho atualmente). Então eu queria saber se eu poderia ter acesso a uma versão anterior.

Além disso, se alguém sabe como posso superar esse problema (talvez uma maneira de obter GLIBCXX 3.4.14) no Ubuntu 10,04 gostaria de receber a ajuda.

obrigado