Как получить z3 в пичарме?

Question

Я просто подумал, что должен попробовать Pycharm и Z3 доказатель теоремы, но мне трудно его настроить.

Метод 1 Я использую Windows 8, и моей первой попыткой было установить пакет z3 с помощью pycharm (пакет z3-solver в меню "Настройки" -> "Интерпретатор проекта"). Это однако терпит неудачу с заключительными строками:

    Remark: to open a Visual Studio Command Prompt, go to: "Start > All Programs > Visual Studio > Visual Studio Tools"
    Building Z3
    error: [WinError 2] Det går inte att hitta filen

    ----------------------------------------

Command ""C:\Program Files (x86)\Python36-32\python.exe" -u -c "import setuptools, tokenize;__file__='C:\\Users\\user\\AppData\\Local\\Temp\\pycharm-packaging\\z3-solver\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record C:\Users\user\AppData\Local\Temp\pip-1qzhvlrz-record\install-record.txt --single-version-externally-managed --compile" failed with error code 1 in C:\Users\user\AppData\Local\Temp\pycharm-packaging\z3-solver\

Способ 2 Итак, я скачал и распаковал z3 и добавил %\bin\python\z3 интерпретировать пути. Теперь pycharm видит библиотеку z3 и может завершить работу. Однако, когда я пытаюсь запустить свой pythonscript, содержащий import z3 Я получаю эту ImportError:

Traceback (most recent call last):
  File ".../test.py", line 1, in <module>
    import z3
  File "...\z3-4.5.0-x64-win\bin\python\z3\z3.py", line 44, in <module>
    from . import z3core
ImportError: attempted relative import with no known parent package

Разве папка z3 python не рассматривается как пакет? (Он содержит __init__.py файл.)