我安装了Python 2.7.10 64位。我从https://github.com/Z3Prover/z3下载了最新的Z3源代码。我在Python27文件夹中复制了文件夹z3-master。然后，我打开Visual Studio 2013命令提示符并使用同一github页面上提供的指令构建z3。构建成功。我添加了＆＃39; PHYTHONPATH c：\ Python27 \ z3-master \ build \ z3lib.dll＆＃39;。现在，当我从visual studio python运行任何一个例子时，它在第一行给我一个错误，即，
来自z3 import *的：错误是没有名为z3＆＃39;
的模块如果我从python shell运行该示例，则会出错 ＆＃34;在使用z3-python之前必须调用init（Z3_LIBRARY_PATH）＆＃34;
我在z3-master或build文件夹中看不到任何bin文件夹。 如何在Visual Studio中使用Z3py？ 感谢
答案 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'和＆amp; 'PYTHONPATH'环境变量。但是在Visual Studio Python项目中，我仍然需要在项目的搜索路径中添加“PYTHONPATH”。它似乎不会自动查看这些环境变量。
每晚构建的链接是： http://leodemoura.github.io/blog.html