Z3 Python API - いつ利用可能か

Question

Z3-Python tutorialでは、Z3をPythonでローカルに使用するには、Z3リリースでPythonライブラリを使用する必要があります。しかし、私の最新バージョン（3.2）のインストールには、このようなフォルダは含まれていませんでした。これは、フォルダが4.0上に存在することを意味します。誰がそれがリリースされるはずですか？

Answer 1

Z3 Python（Z3Py）はZ3 4.0の一部です。すぐにリリースされる予定です。 必要な場合は、プレリリース版をお送りすることができます。