Weiß jemand, wie wir frühere Versionen von z3 für Linux 64 bekommen können? Ich verwende Ubuntu 10.04 und es enthält nicht GLIBGXX 3.4.14, das von z3 3.2 (der Version, die ich derzeit habe) benötigt wird. Also habe ich mich gefragt, ob ich Zugang zu einer früheren Version bekommen könnte.

Auch wenn jemand weiß, wie ich dieses Problem lösen kann (vielleicht eine Möglichkeit, GLIBCXX 3.4.14 zu bekommen), wäre ich für die Hilfe dankbar.

Vielen Dank