1

Ubuntu12.0464ビットで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バインディングに関する何かが見当たらないようです。

4

1 に答える 1

1

無視してください。私が入手したのは古いバージョンの Z3 です。

推奨事項: ホームページで最新の Z3 のソース コードを提供してください。どこにも見つからず、間違って古いバージョンを入手してしまいました。最後に、SourceControl から最新バージョンをダウンロードする必要がありましたが、これは少し面倒でした。

于 2013-01-05T06:19:27.867 に答える