Es fällt mir schwer, das Z3-Python-Frontend mit Codeplex auf Windows 7 mit Z3, Version 4.3.0, zum Laufen zu bringen. Die ältere Version 4.1.2, die als MSI-Datei verteilt wurde, funktioniert unter Windows 7 einwandfrei.

Erstens kann ich den Quellcode von Codeplex nicht zum Erstellen von Z3 verwenden, da ich keine Visual Studio-Eingabeaufforderung habe (brauche ich sie wirklich?). Also lade ich die 32-Bit-Version der Binärdatei herunter und füge dieses Verzeichnis meinem PYTHONPATH hinzu. Dies ermöglicht es mir zu tunimport z3 , aber ich kann es wegen des Fehlers nicht weiter benutzenZ3Exception: 'init(Z3_LIBRARY_PATH) must be invoked before using Z3-python' . Die Dateiz3.dll ist nicht in der Download-Datei enthalten.

Ich habe keine Probleme, Z3 v4.3 auf meinem Mac oder Linux einzustellen.