earlier question中指出的安裝問(wèn)題仍然存在.

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

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

應(yīng)該使用哪個(gè)Z3下載(源版本,預(yù)編譯版本)？

應(yīng)該使用哪個(gè)Python版本？

在init()調(diào)用中應(yīng)該引用哪個(gè)或哪些Z3 DLL？

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

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

如何設(shè)置PATH和PYTHONPATH？

如何以自動(dòng)提供Z3初始化的方式調(diào)用Python的IDLE shell？

對(duì)不起,如果這聽(tīng)起來(lái)像是一個(gè)新手問(wèn)題,但……

解決方法:

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

在Windows 7上,它應(yīng)該開(kāi)箱即用.但是,您需要確保為64位編譯所有內(nèi)容或全部?jī)?nèi)容.如果您使用的是32位python版本,則無(wú)法加載64位DLL,反之亦然.在Python.org有兩次下載,其中一次標(biāo)記為X86-64,即64位版本.

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

標(biāo)簽：z3,python,python-2-7

來(lái)源： https://codeday.me/bug/20191007/1864518.html

總結(jié)

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

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。