Z3 Python API - 何时可用

Question

在Z3-Python tutorial中，声明为了在本地使用Z3，需要在Z3版本中使用Python库。但是，我安装的最新版本（3.2）并没有包含这样的文件夹。我想这意味着该文件夹存在于4.0。有谁知道什么时候应该被释放？

Answer 1

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