Z3 Python绑定:在使用Z3 Python之前,必须调用init(Z3_库_路径)
我在Linux上安装了,并且正在使用它的Python绑定(Z3Py)。我尝试测试一个最小的示例,但立即出现以下错误:Z3 Python绑定:在使用Z3 Python之前,必须调用init(Z3_库_路径),python,z3,z3py,library-path,Python,Z3,Z3py,Library Path,我在Linux上安装了,并且正在使用它的Python绑定(Z3Py)。我尝试测试一个最小的示例,但立即出现以下错误: z3.z3types.Z3Exception: init(Z3_LIBRARY_PATH) must be invoked before using Z3-python 我如何解决这个问题并开始运行Z3 我不太清楚那个错误消息是什么意思。Z3文档和教程似乎没有对此或init(),也没有列出任何名为init()的函数 更详细地说,以下是我尝试的内容(略摘录): 在运行Python
z3.z3types.Z3Exception: init(Z3_LIBRARY_PATH) must be invoked before using Z3-python
我如何解决这个问题并开始运行Z3
我不太清楚那个错误消息是什么意思。Z3文档和教程似乎没有对此或init()
,也没有列出任何名为init()
的函数
更详细地说,以下是我尝试的内容(略摘录):
在运行Python之前,我尝试设置一个名为
Z3\u LIBRARY\u PATH的环境变量,这可能会有所帮助,但没有任何区别。导入Z3库后,调用
init('/usr/lib64/python2.7/site-packages/z3')
在调用任何其他Z3API之前。您可能需要调整路径:将其更改为libz3的路径。这样就可以找到。(如果libz3不在明显的位置,请尝试查找它。)
用法示例:
$ python
Python 2.7.13 (default, Jan 12 2017, 17:59:37)
>>> from z3 import *
>>> init('/usr/lib64/python2.7/site-packages/z3')
>>> Int('x')
x
$ python
Python 2.7.13 (default, Jan 12 2017, 17:59:37)
>>> from z3 import *
>>> init('/usr/lib64/python2.7/site-packages/z3')
>>> Int('x')
x