5

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

3
  • 1
    Questions asking us to recommend or find a tool, library or favorite off-site resource are off-topic for Stack Overflow as they tend to attract opinionated answers and spam.
    – Ken White
    Nov 15, 2013 at 13:37
  • 3
    I am not asking to find some tool for me. The official page of z3 has provided stackoverflow as one of the means to contact . see research.microsoft.com/en-us/um/redmond/projects/z3/old/… .
    – svKris
    Nov 15, 2013 at 14:03
  • 1
    "Please suggest some resource" is a request to recommend or find something. The fact that the official page sends you here doesn't automatically make off-topic posts become on-topic. The guidelines here say that your question is off-topic. See the On Topic Page, particularly the numbered list on that page.
    – Ken White
    Nov 15, 2013 at 14:13

3 Answers 3

5

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

1
  • Z3Py seems to be down again. I downloaded your files and populated the html files with the examples (I found it annoying to keep having to refer to the .py files). These can be downloaded here dropproxy.com/f/834
    – Sorig
    Jun 30, 2014 at 14:22
0

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.

0

You can also use Wayback Machine to see tutorials such as http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.