z3 - 在Visual Studio 2013中使用Z3和python

z3 - 在Visual Studio 2013中使用Z3和python,第1张

我安装了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 python运行任何一个例子时,它在第一行给我一个错误,即,

来自z3 import *的

:错误是没有名为z3'

的模块

如果我从python shell运行该示例,则会出错 "在使用z3-python之前必须调用init(Z3_LIBRARY_PATH)"

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

最佳答案:

1 个答案:

答案 0 :(得分:0)

我使用了以下链接中给出的说明: Using Z3Py With Python 3.3

实际上,只有最后两条指令(评论)对我有用。这些说明如下:

**另一种选择是在Windows 64位的每晚构建中使用预编译的DLL。此链接提供了更多信息:research.microsoft.com/en-us/um/people/leonardo/blog/2013/02/15 / ... - Leonardo de Moura 2013年3月25日23:35

谢谢 - 现在我正在使用我的自编译不稳定版本,其中libz3.dll文件被夜间频道中的文件取代,到目前为止我没有遇到任何问题。 - fdj815 **

所以,我只是去了链接,点击了“N3版本的Z3”。然后单击“转到Z3下载页面”。然后,我下载了64位预编译的zip文件。解压缩并将bin文件夹的路径添加到'PATH'和& 'PYTHONPATH'环境变量。但是在Visual Studio Python项目中,我仍然需要在项目的搜索路径中添加“PYTHONPATH”。它似乎不会自动查看这些环境变量。

每晚构建的链接是: http://leodemoura.github.io/blog.html

本文经用户投稿或网站收集转载,如有侵权请联系本站。

发表评论

0条回复