1

PythonとZ3の両方をインストールし、PYTHONPATHにZ3pythonディレクトリのパスを設定しました。

これを実行してZ3をインポートします。z3import*から

しかし、この後、次のように終了する永続的な長いエラーメッセージが表示されます。

File "C:\Program Files\Microsoft Research\Z3-4.1\python\z3core.py", line 34, in init
    _lib = ctypes.CDLL(PATH)
  File "C:\Python27\lib\ctypes\__init__.py", line 365, in __init__
    self._handle = _dlopen(self._name, mode)
WindowsError: [Error 126] The specified module could not be found

興味深いことに、PythonとZ3の両方を再インストールするまで、すべてが機能していました。

4

3 に答える 3

5

PATH環境変数は、Z3インストールにbinまたはx64ディレクトリが含まれるように設定する必要があります。64ビットバージョンのPythonを使用している場合は、x64ディレクトリを含める必要があります。

例：

hello.py....ファイル"C：\ Python27 \ lib \ ctypes__init __。py"、365行目、init self._handle = _dlopen（self._name、mode）WindowsError：[エラー126]指定されたモジュールはできませんでした見つかった

set PATH =％PATH％; C：\ Program Files（x86）\ Microsoft Research \ Z3-4.1 \ bin

hello.pyトレースバック（最後の最後の呼び出し）：....ファイル "C：\ Python27 \ lib \ ctypes__init __。py"、365行目、init self._handle = _dlopen（self._name、mode）WindowsError：[エラー193]％1は有効なWin32アプリケーションではありません

set PATH =％PATH％; C：\ Program Files（x86）\ Microsoft Research \ Z3-4.1 \ x64

hello.py hello Z3

于 2012-08-29T01:04:19.810 に答える
0

この問題が発生したとき、libz3が依存しているdllがなかったことが原因であることが判明しました。VisualStudio2015用のVisualC++再頒布可能パッケージをインストールすることで解決しました。

于 2018-09-03T12:47:17.973 に答える
0

anacondaを使用する場合、z3をインストールするには次のコマンドを使用するだけで十分です。

pip install z3-solver
于 2022-01-26T16:21:59.123 に答える