google-colaboratory - 使用谷歌合作实验室的 Z3

Question

我正在尝试从 Google 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'

标签： google-colaboratoryz3py

Answer 1

Debian Z3 软件包来自 2015 年。我认为那时该功能不存在。您需要更新版本的 Z3。