0

z3をPythonで動作させるのに問題があります。私はWindows764ビットを実行しています。64ビットのPython3.3.0と64ビットのz34.3.0をダウンロードしました。PATHとPYTHONPATHを更新して、z3\binディレクトリを含めました。ただし、Pythonでz3を使用しようとすると、次のエラーが発生します。

from z3 import *トレースバック（最後の最後の呼び出し）：ファイル ""、1行目、ImportError：'z3'の不正なマジックナンバー：b'\ x03 \ xf3 \ r \ n'

何がうまくいかず、それを修正する方法を誰かが知っていますか？

ありがとう

4

1 に答える 1

2

Z3v4.3.0はPython3.3をサポートしていません。Python 2.7（または2.6）を使用する必要があります。次の公式バージョンはPython3.xをサポートします。unstableそれまでの間、 （進行中の）ブランチを使用できます。詳細については、次の関連する質問を参照してください。

于 2013-03-26T15:48:07.780 に答える