我想在我的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绑定的信息吗？
最佳答案
请忽略，我得到的是Z3的旧版本。
建议：请在首页中提供最新Z3的源代码。我在任何地方都找不到它，然后错误地得到了旧版本。最后，我不得不从SourceControl下载最新版本，这有点棘手。
关于python - 编译Z3python吗？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/14169085/