Проблемы с установкой, указанные впредыдущий вопрос все еще присутствуют. Я пытался установить Z3 4.3.0 и 4.1 под Windows XP SP3 32-битной и под Windows 7 64-битной. Ни одна из комбинаций не работает! Я могу сделать ""from z3 import *, ноinit() из Z3 DLL не удается. Моя версия Python 2.7.3. Автономный Z3 и автономный Python работают, но они неработать вместе без особых нареканий.

Это помогло бы получить актуальный рецепт установки, который отвечает на следующие вопросы:

Какую загрузку Z3 (исходную версию, предварительно скомпилированную версию) следует использовать?

Какую версию Python следует использовать?

На какие или различные библиотеки Z3 следует ссылаться в вызове init ()? Может помочь пример (включая использование необработанных строк для путей с пробелами).

Какие исходные файлы Z3 Python следует использовать (некоторые загрузки Z3 содержат файлы * .py, другие имеют файлы * .pyc)? Совместимы ли скомпилированные файлы Python с более чем одной версией Python?

Как установить PATH и PYTHONPATH?

Как вызвать IDLE-оболочку Python таким образом, чтобы инициализация Z3 обеспечивалась автоматически?

Извините, если это звучит как вопрос новичка, но ...