api - Z3 Python API - いつ利用可能になりますか

Question

Z3-Python チュートリアルでは、Python で Z3 をローカルで使用するには、Z3 リリースで Python ライブラリを使用する必要があると記載されています。ただし、最新バージョン (3.2) のインストールには、そのようなフォルダーは含まれていませんでした。これは、フォルダーが 4.0 に存在することを意味すると思います。いつリリースされることになっているのか知っている人はいますか？

Answer 1

Z3 Python (Z3Py) は Z3 4.0 の一部です。まもなくリリースされます。必要な場合は、プレリリース バージョンをお送りします。