在谷歌协作中使用Z3
在谷歌协作中使用Z3
提问于 2019-03-26 01:40:41
我正在尝试从谷歌合作实验室运行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'
回答 2
Stack Overflow用户
发布于 2019-03-26 22:02:23
Debian的Z3包来自2015年。我不认为那时这个函数已经存在了。您需要更新版本的Z3。
Stack Overflow用户
发布于 2019-03-27 09:01:38
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/55343635
复制相关文章
相似问题
腾讯云开发者
