Z3pyチュートリアルはどこで入手できますか

Question

rise4fun z3pyは、いくつかのセキュリティ上の問題のために数週間から利用できません。私はz3pyを学ぶためのいくつかのリソースを見つけようとしましたが、無駄に終わりました。Z3pyを学ぶためのいくつかのリソースを提案してください

Answer 1

Z3PYチュートリアルソースを持つzipファイルを作成しました。 それは基本的にいくつかのHTMLページとPythonファイルの束です。 これがリンクです：
https://github.com/leodemoura./leodemoura.github.com/blob/master/files/z3py.zip?raw=true

アップデート（2014年1月14日）：Z3PYチュートリアルはオンラインで

Answer 2

ザ- 公式 z3py チュートリアルのウェブサイトがされています セキュリティ上の問題のためにダウンしました そして、この記事の執筆時点ではまだ利用できません。

一方、あなたはですべてのファイルを含むウェブサイトのミラーにアクセスすることができます ﾂづ慊つｷﾂ.

Answer 3

WayBackマシンを使用して、 http://web.archive.org/web/201217183725/http://rise4fun.com/z3py/tutorialContent/advanced