在Visual Studio 2013中使用Z3與python

我安裝了Python 2.7.10 64位。我從https://github.com/Z3Prover/z3下載了最新的Z3資源。我複製了Python27文件夾中的文件夾z3-master。然後，我打開Visual Studio 2013命令提示符並使用在同一github頁面上提供的指令構建z3。構建成功。我添加了'PHYTHONPATH c：\ Python27 \ z3-master \ build \ z3lib.dll'。現在，當我運行從Visual Studio蟒蛇任何例子，它給我的第一行的錯誤，即在Visual Studio 2013中使用Z3與python

從Z3進口*：該錯誤是「沒有模塊名爲Z3」

如果我運行它會給出錯誤「在使用z3-python之前必須調用init（Z3_LIBRARY_PATH）」

我在z3-master或build文件夾中看不到任何bin文件夾。如何在Visual Studio中使用Z3py？感謝

來源

2015-06-11 Fida Hussain

我已經使用了以下鏈接提供的說明： Using Z3Py With Python 3.3

實際上，只有最後兩個指令（評論）爲我工作。這是說明如下：

**另一種選擇是在Windows 64位的每晚構建中使用預編譯的DLL。此鏈接有其他信息：research.microsoft.com/en-us/um/people/leonardo/blog/2013/02/15/... - Leonardo de Moura 13年3月25日23:35

Thanks - Now我正在使用自編的不穩定版本，並將libz3.dll文件替換爲來自夜間頻道的文件，並且到目前爲止我沒有遇到任何問題。 - fdj815 **

所以，我只是去鏈接，點擊「夜間建立的Z3」。然後點擊「轉至Z3下載頁面」。然後，我下載了64位預編譯的zip文件。解壓縮並將bin文件夾的路徑添加到'PATH'&'PYTHONPATH'環境變量中。但是在Visual Studio Python項目中，我仍然需要在項目的搜索路徑中添加'PYTHONPATH'。看起來它不會自動查看這些環境變量。

鏈接到每晚構建是： http://leodemoura.github.io/blog.html

來源

2015-06-11 21:00:06

環境記錄每個進程，由孩子繼承。如果您的Visual Studio進程仍然帶有不包含更新的環境副本，它將不會看到它。 –

太棒了，謝謝你在這裏發佈你的解決方案！事實上，Visual Studio可能需要每個項目設置PYTHONPATH和PATH。它也應該與全系統設置一起工作，但這可能不是你想要的。 –

在Visual Studio 2013中使用Z3與python

回答

相關問題