Où puis-je obtenir z3py tutoriels

Question

rise4fun z3py n'est pas disponible depuis plusieurs semaines en raison de certains problèmes de sécurité.J'ai essayé de trouver des ressources pour l'apprentissage z3py mais s'est terminée en vain.S'il vous plaît suggérer quelques ressources pour en savoir z3py

Answer 1

J'ai créé un fichier zip avec les sources de tutoriels Z3py. Il s'agit essentiellement de quelques pages HTML et d'une bouquet de fichiers Python. Voici le lien:
https://github.com/leodemoura/Leodemoura.github.com/blob/master/files/z3py.zip?raw=true

mise à jour (14 janvier 2014) : Les tutoriels Z3py sont de retour en ligne

Answer 2

L' officiel z3py les tutoriels de ce site a été pris vers le bas en raison de problèmes de sécurité et n'est toujours pas disponible au moment de la rédaction de ce post.

En attendant, vous pouvez accéder à un miroir du site web contenant tous les fichiers à la github.

Answer 3

Vous pouvez également utiliser une machine de Wayback pour voir des tutoriels tels que http://web.archive.org/web/20121117183725/http://rise4fun.com/z3py/TutorialContent/Advanced