Question
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
Solution
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
OTHER TIPS
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.
You can also use Wayback Machine to see tutorials such as http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced