Wo kann ich z3ige Tutorials bekommen?

Question

austrict4fun z3py ist aufgrund von Sicherheitsproblemen von mehreren Wochen nicht verfügbar.Ich habe versucht, einige Ressourcen zum Lernen von Z3py herauszufinden, aber endete vergeblich.Bitte schlagen Sie einige Ressourcen vor, um z3py zu lernen

Answer 1

Ich habe eine ZIP-Datei mit den Quellen Z3py-Tutorials erstellt. Es ist im Wesentlichen einige HTML-Seiten und ein paar 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

Answer 2

das offizielle z3py-Tutorials-Website war aufgrund von Sicherheitsproblemen aufgenommen und ist zum Zeitpunkt des Schreibens dieses Beitrags noch nicht verfügbar.

Inzwischen können Sie auf einen Spiegel der Website mit allen Dateien auf Github .

Answer 3

Sie können auch Wayback-Computer verwenden, um Tutorials wie http://web.archive.org/web/20121117183725/http://rise4fun.com/z3py/tutorialcontent/Advanced