api - Z3 Python API - 何时可用

Question

在Z3-Python 教程中，声明为了在本地使用 Z3 和 Python，需要使用 Z3 版本中的 Python 库。但是，我安装的最新版本（3.2）不包含这样的文件夹。我想这意味着该文件夹存在于 4.0 上。有谁知道什么时候发布？

Answer 1

Z3 Python (Z3Py) 是 Z3 4.0 的一部分。它很快就会发布。如果您需要，我们可以向您发送预发布版本。