我正在尝试在python中使用z3模块。 我在windows上使用pip安装它。 但是当我尝试执行此代码时
from z3 import *
...
s = Solver()
s.add(c1, c2, c3, c4, c5, c6, c7)
s.model()
我得到“NameError：名称'解算器'未定义”。
我发现奇怪的是导入不会生成错误消息，所以它应该有效，但是当我尝试调用不同的函数时，它们似乎不存在。
我做错了什么？
答案 0 :(得分：0)
这是一个安装问题模块z3实际上与z3-solver不同（这是示例中使用的人）。
您可以在不使用Visual Studio Prompts的情况下安装它： https://github.com/Z3Prover/z3/wiki/Using-Z3Py-on-Windows