Dove posso ottenere tutorial z3py
https://stackoverflow.com//questions/20002135
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianDomanda
Rise4Fun Z3PY non è disponibile da diverse settimane a causa di alcuni problemi di sicurezza.Ho cercato di scoprire alcune risorse per imparare Z3PY ma finito invano.Si prega di suggerire alcune risorse per imparare Z3PY
Soluzione
Ho creato un file ZIP con le fonti di tutorial Z3py.
È fondamentalmente alcune pagine HTML e un gruppo di file Python.
Ecco il link:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=TRUE
Aggiornamento (14 gennaio 2014) : I tutorial Z3py sono tornati online
Altri suggerimenti
The Il sito Web z3py Tutorials è stato rimborsato a causa di problemi di sicurezza ed è ancora non disponibile al momento della scrittura di questo post.
Nel frattempo è possibile accedere a uno specchio del sito Web contenente tutti i file su github .
.È inoltre possibile utilizzare il wayback macchina per vedere tutorial come http://web.archive.org/web/20121117183725/http://rise4fun.com/z3py/tutorialcontent/advanced
