У меня возникли проблемы с тем, чтобы заставить z3 работать с Python. Я использую Windows 7 64bit. Я скачал 64-битную версию Python 3.3.0 и 64-битную версию z3 4.3.0. Я обновил PATH и PYTHONPATH, включив в них каталог z3\bin. Однако, когда я пытаюсь использовать z3 в python, я получаю следующую ошибку:
from z3 import * Traceback (последний последний вызов): File "", строка 1, в ImportError: плохое магическое число в 'z3': b'\x03\xf3\r\n'
Кто-нибудь знает, что происходит не так и как это исправить?
Спасибо
