我在哪里可以获得z3py教程

Question

由于某些安全问题，

000 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教程网站已由于安全问题而被删除，在撰写本篇文章时仍然无法使用。

同时您可以访问包含 github 的网站的镜像。

Answer 3

您还可以使用Windback机器查看教程，例如 http://web.archive.org/web/20121117183725/http://rise4fun.com/z3py/tutorial.content/advanced