将Z3与Google Colaboratory一起使用

Question

我试图从谷歌Colaboratory运行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'

Answer 1

Debian Z3软件包是从2015年开始的。我认为那时功能不存在。您需要更新版本的Z3。

Answer 2

我试过并成功安装它。