earlier question中指出的安裝問題仍然存在.

我曾嘗試在Windows XP SP3 32位和Windows 7 64位下安裝Z3 4.3.0和4.1.這些組合都不起作用！我可以執行“from z3 import *”,但是Z3 dll的init()失敗了.我的Python版本是2.7.3. Z3獨立和Python獨立工作,但沒有很多抱怨它們不能一起工作.

這將有助于獲得最新的安裝配方,回答以下問題：

應該使用哪個Z3下載(源版本,預編譯版本)？

應該使用哪個Python版本？

在init()調用中應該引用哪個或哪些Z3 DLL？

一個例子會有所幫助(包括帶有空格的路徑的原始字符串用法).

應該使用哪些Z3 Python源文件(Z3的某些下載有* .py文件,其他有* .pyc文件)？編譯的Python文件是否與多個Python版本兼容？

如何設置PATH和PYTHONPATH？

如何以自動提供Z3初始化的方式調用Python的IDLE shell？

對不起,如果這聽起來像是一個新手問題,但……

解決方法:

Windows XP不支持Z3所需的DLL中的線程本地存儲.我們目前正在努力解決這個問題,但無論如何它都意味著你必須編譯自己的DLL,即使它已經修復了.

在Windows 7上,它應該開箱即用.但是,您需要確保為64位編譯所有內容或全部內容.如果您使用的是32位python版本,則無法加載64位DLL,反之亦然.在Python.org有兩次下載,其中一次標記為X86-64,即64位版本.

最后,需要將libz3.dll和* .pyc / py所在的目錄添加到PYTHONPATH.您可以設置此系統范圍(控制面板,系統,高級系統設置,高級,環境變量),然后IDLE也應該看到它.

標簽：z3,python,python-2-7

來源： https://codeday.me/bug/20191007/1864518.html

總結

以上是生活随笔為你收集整理的python解释器下安装z3_再次：在Windows上安装Z3 Python的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。