我在哪里可以获得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

official z3py教程网站已taken down due to security problems，在撰写本文时仍无法使用。

同时，您可以访问包含github所有文件的网站镜像。