2012-04-29 14 views
0

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

答えて

1

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

+0

ありがとうございました!その間に私は待っています。 –

関連する問題