rise4fun z3py non è disponibile da diverse settimane a causa di alcuni problemi di sicurezza. Ho cercato di scoprire alcune risorse per l'apprendimento di z3py ma sono finito invano. Si prega di suggerire alcune risorse per imparare z3pyDove posso trovare tutorial z3py
Ho creato un file zip con le fonti di tutorial Z3Py. Sono fondamentalmente alcune pagine HTML e un mucchio di file Python. ecco il link:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
aggiornamento (14 Gen 2014): i tutorial Z3Py sono di nuovo online
Z3Py sembra essere di nuovo inattivo. Ho scaricato i file e popolato i file html con gli esempi (ho trovato fastidioso continuare a fare riferimento ai file .py). Questi possono essere scaricati qui http://dropproxy.com/f/834 – Sorig
Il sito officialz3py tutorial è stato taken down due to security problems e non è ancora disponibile al momento della scrittura di questo post.
Nel frattempo è possibile accedere a un mirror del sito Web contenente tutti i file allo github.
È inoltre possibile utilizzare Wayback Machine per vedere tutorial quali http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced
Domande che ci chiede di consigliare o trovare uno strumento, biblioteca o preferito di risorse off-site sono off-topic per Stack Overflow in quanto tendono ad attrarre risposte supponente e spam. –
Non sto chiedendo di trovare qualche strumento per me. La pagina ufficiale di z3 ha fornito stackoverflow come uno dei mezzi per contattare. vedi http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.html. – svKris
"Si prega di suggerire alcune risorse" è una richiesta di raccomandare o trovare qualcosa. Il fatto che la pagina ufficiale ti mandi qui non rende automaticamente i post fuori tema in tema. Le linee guida ** qui ** dicono che la tua domanda è fuori tema. Vedere [Sulla pagina argomento] (http: // stackoverflow/help/on-topic), in particolare l'elenco numerato su quella pagina. –