题
由于某些安全问题,
000 Z3PY从几周不可用。我试图找出一些学习z3py的资源,但以徒劳为止。请建议一些资源来学习z3py
解决方案
我创建了一个带有z3py教程源的zip文件。
它基本上是一些HTML页面和一堆Python文件。
这是链接:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?Raw=true
更新(2014年1月14日):z3py教程返回在线
其他提示
您还可以使用Windback机器查看教程,例如 http://web.archive.org/web/20121117183725/http://rise4fun.com/z3py/tutorial.content/advanced
不隶属于 StackOverflow