[英]How do I use the Z3Py dll?
我试图使用Z3Py dll,但是没有用。 这是我的测试程序和错误。 我对Python非常陌生,我想我错过了每个人都已经知道的重要部分。
init("z3.dll")
Traceback (most recent call last):
File "test5.py", line 1, in <module>
init("z3.dll")
NameError:名称“ init”未定义
我还尝试了另一种方式来加载dll:
import ctypes
so = ctypes.WinDLL('./z3.dll') #for windows
print(so)
s = Solver()
<WinDLL './z3.dll', handle 10000000 at 0x10b15f0>
Traceback (most recent call last):
File "test5.py", line 5, in <module>
s = Solver()
NameError: name 'Solver' is not defined
通常,您要做的就是导入z3:
from z3 import *
s = Solver()
x = Int("x")
s.add(x > 5)
s.check()
print s.model()
运行此简单脚本会发生什么?
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.