Z3 Python API - 何時可用

Question

在Z3-Python tutorial中，聲明爲了在本地使用Z3與Python，需要使用Z3版本中的Python庫。但是，我安裝的最新版本（3.2）沒有包含這樣的文件夾。我想這意味着該文件夾存在於4.0上。有誰知道它應該在什麼時候發佈？

Answer 1

Z3 Python（Z3Py）是Z3 4.0的一部分。它將很快發佈。 如果您需要，我們可以向您發送預發佈版本。