Question

我正在尝试从Google合作实验室运行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

我尝试并成功安装了它。