Previous version of Z3 for linux

Question

Does anyone know how we can get previous versions of z3 for linux 64? I am using Ubuntu 10.04 and it does not include GLIBGXX 3.4.14 which is required by z3 3.2 (the version I c

Answer 1

Leonardo is right, but you can't find the download link in that page. You must use the list of programs and use something like:

http://research.microsoft.com/en-us/um/redmond/projects/z3/z3-3.2.tar.gz . You can change the filename in bold by one in the list provided by Leonardo.