【发布时间】：2012-04-29 22:56:30
【问题描述】：
Z3-Python tutorial 中指出，为了在本地使用 Z3 和 Python，需要使用 Z3 版本中的 Python 库。但是，我安装的最新版本（3.2）不包含这样的文件夹。我想这意味着该文件夹存在于 4.0 上。有人知道什么时候发布吗？
【问题讨论】：
【发布时间】：2012-04-29 22:56:30
【问题描述】：
Z3 Python (Z3Py) 是 Z3 4.0 的一部分。它很快就会发布。 如果您需要，我们可以向您发送预发布版本。
【讨论】：
-
谢谢！与此同时，我会等待。