1

コードプレックスのZ3バージョン4.3.0を搭載したWindows7でZ3Pythonフロントエンドを動作させるのに苦労しています。MSIファイルとして配布された古いバージョン4.1.2は、私のWindows7で正常に動作します。

まず、Visual Studioのコマンドプロンプトがないため、codeplexのソースコードを使用してZ3をビルドできません（本当に必要ですか？）。そこで、バイナリファイルの32ビットバージョンをダウンロードして、そのディレクトリをPYTHONPATHに追加します。これでできます import z3が、エラーのためこれ以上使用できませんZ3Exception: 'init(Z3_LIBRARY_PATH) must be invoked before using Z3-python'。このファイルz3.dll はダウンロードファイルに含まれていません。

MacまたはLinuxでZ3v4.3を設定しても問題ありません。

4

1 に答える 1

2

Visual Studio Express は、Z3 をコンパイルするのに十分なはずであり、Microsoft から無料で入手できます。ただし、Z3Py を使用するために Z3 をゼロからコンパイルする必要はありません。

バージョン 4.3.0 以降、DLL は libz3.dll と呼ばれるようになりました。Codeplex からのダウンロードに実際に含まれていることを確認し、PYTHONPATH に追加すると正常に実行されます。あなたのケースで問題が発生したのは、ディレクトリ C:...\z3-4.3.0-x86 を PYTHONPATH に追加したことですが、C:...\z3-4.3.0-x86 が必要であると想像できます。 \bin が追加されます (末尾の \bin に注意してください)。

于 2012-11-13T21:29:43.123 に答える