Z3 Python API - когда он будет доступен
В руководстве по Z3-Python указано, что для локального использования Z3 с Python необходимо использовать библиотеку Python в выпуске Z3. Однако моя установка последней версии (3.2) не содержала такой папки. Я предполагаю, что это означает, что папка существует на 4.0 . Кто-нибудь знает, когда он должен быть выпущен?
1 ответ
Z3 Python (Z3Py) является частью Z3 4.0. Он будет выпущен очень скоро. Если вам нужно, мы можем выслать вам предварительную версию.