首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >在谷歌协作中使用Z3

在谷歌协作中使用Z3
EN

Stack Overflow用户
提问于 2019-03-26 01:40:41
回答 2查看 141关注 0票数 0

我正在尝试从谷歌合作实验室运行Z3 (https://github.com/Z3Prover/z3),但到目前为止还没有成功。

我可以使用!apt-get install z3正确地安装它。

但是Python绑定似乎并不存在。

代码语言:javascript
复制
import z3
print(z3.get_version_string())

失败的AttributeError: module 'z3' has no attribute 'get_version_string'

EN

回答 2

Stack Overflow用户

发布于 2019-03-26 22:02:23

Debian的Z3包来自2015年。我不认为那时这个函数已经存在了。您需要更新版本的Z3。

票数 0
EN

Stack Overflow用户

发布于 2019-03-27 09:01:38

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/55343635

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档