问题
rise4fun z3py is unavailable from several weeks due to some security issues. I tried to find out some resources for learning z3py but ended in vain. Please suggest some resources to learn z3py
回答1:
I created a zip file with the Z3Py tutorials sources.
It is basically a few HTML pages and a bunch of python files.
Here is the link:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
Update (Jan 14, 2014): the Z3Py tutorials are back online
回答2:
The official z3py tutorials website has been taken down due to security problems and is still unavailable at the time of writing of this post.
Meanwhile you can access a mirror of the website containing all the files at github.
回答3:
You can also use Wayback Machine to see tutorials such as http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced
来源：https://stackoverflow.com/questions/20002135/where-can-i-get-z3py-tutorials