rise4fun z3py ist aufgrund einiger Sicherheitsprobleme seit einigen Wochen nicht verfügbar. Ich habe versucht, einige Ressourcen für das Lernen von z3py herauszufinden, aber vergeblich. Bitte schlagen Sie einige Ressourcen zu lernen z3pyWo bekomme ich z3py Tutorials
Ich habe eine Zip-Datei mit den Z3Py Tutorials Quellen erstellt. Es ist im Grunde ein paar HTML-Seiten und eine Reihe von Python-Dateien. Hier ist der Link:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
Update (14. Januar 2014): Die Z3Py Tutorials sind wieder online
Z3Py scheint wieder unten zu sein. Ich habe Ihre Dateien heruntergeladen und die HTML-Dateien mit den Beispielen gefüllt (ich fand es nervig, immer wieder auf die .py-Dateien verweisen zu müssen). Diese können hier heruntergeladen werden http://dropproxy.com/f/834 – Sorig
Die officialz3py Tutorials Website hat taken down due to security problems war und ist zum Zeitpunkt des Schreibens nicht verfügbar von diesem Beitrag.
In der Zwischenzeit können Sie auf einen Spiegel der Website zugreifen, die alle Dateien unter github enthält.
Sie können auch Wayback Machine verwenden Tutorials uns wie http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced
Fragen zu sehen, zu fragen, wie sie opinionated Antworten zu gewinnen neigen zu empfehlen oder ein Werkzeug, eine Bibliothek oder Lieblings Off-Site-Ressource sind Wegthema für Stack Overflow zu finden und Spam. –
Ich möchte nicht ein Werkzeug für mich finden. Die offizielle Seite von z3 hat Stackoverflow als eine der Möglichkeiten zur Kontaktaufnahme bereitgestellt. siehe http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.html. – svKris
"Bitte vorschlagen einige Ressource" ist eine Anfrage zu empfehlen oder etwas zu finden. Die Tatsache, dass die offizielle Seite Sie hierher schickt, macht Off-Topic Beiträge nicht automatisch zum Thema. Die Richtlinien ** hier ** sagen, dass deine Frage off-topic ist. Siehe die [On Topic Page] (http: // stackoverflow/help/on-topic), insbesondere die nummerierte Liste auf dieser Seite. –