我正在尝试从谷歌合作实验室运行Z3 (https://github.com/Z3Prover/z3),但到目前为止还没有成功。
我可以使用!apt-get install z3
正确地安装它。
但是Python绑定似乎并不存在。
import z3
print(z3.get_version_string())
失败的AttributeError: module 'z3' has no attribute 'get_version_string'
发布于 2019-03-26 22:02:23
Debian的Z3包来自2015年。我不认为那时这个函数已经存在了。您需要更新版本的Z3。
发布于 2019-03-27 09:01:38
https://stackoverflow.com/questions/55343635
复制相似问题