编译Z3python？

Question

我想在我的Ubuntu 12.04 64位上安装Z3python。我下载了Z3源码，编译如下：

$autoconf
$./configure
$sudo make
$sudo make a
$sudo make o

一切顺利，但后来我尝试了：

$ python
Python 2.7.3 (default, Sep 26 2012, 21:51:14) 
[GCC 4.7.2] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import z3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ImportError: No module named z3

似乎尚未安装Z3python？我完全遵循README中的说明，但似乎错过了有关Python绑定的内容？

Answer 1

请忽略，我得到的是旧版Z3。

建议：请在主页上提供最新Z3的源代码。我无法在任何地方找到它，然后错误地得到旧版本。最后，我不得不从SourceControl下载最新版本，这有点棘手。