Los problemas de instalación señalados en unpregunta anterior todavía están presentes He intentado instalar Z3 4.3.0 y 4.1 bajo Windows XP SP3 de 32 bits y bajo Windows 7 de 64 bits. ¡Ninguna de las combinaciones funciona! Soy capaz de hacer el "from z3 import *", pero elinit() de la z3 dll falla. Mi versión de Python es 2.7.3. Z3 autónomo y Python autónomo funcionan, pero no funcionan juntos sin muchas quejas.

Sería útil obtener una receta de instalación actualizada que responda a las siguientes preguntas:

¿Qué descarga de Z3 (versión de origen, versión precompilada) debe utilizarse?

¿Qué versión de Python debería usarse?

¿A cuál o las diversas DLL de Z3 se debe hacer referencia en la llamada a init ()? Un ejemplo ayudaría (incluido el uso de cadenas sin procesar para rutas con espacios en blanco).

¿Qué archivos fuente de Z3 Python se deben usar (algunas descargas de Z3 tienen archivos * .py, otras tienen archivos * .pyc)? ¿Los archivos compilados de Python son compatibles con más de una versión de Python?

¿Cómo configurar PATH y PYTHONPATH?

¿Cómo llamar al shell IDLE de Python de tal manera que se proporcione automáticamente la inicialización de Z3?

Lo siento, si esto debería sonar como una pregunta de novato, pero ...