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

svKris
  • 783
  • 1
  • 7
  • 21
  • 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 '13 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 http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.html . – svKris Nov 15 '13 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](http://stackoverflow/help/on-topic), particularly the numbered list on that page. – Ken White Nov 15 '13 at 14:13

3 Answers3

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

Leonardo de Moura
  • 21,065
  • 2
  • 47
  • 53
  • 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 http://dropproxy.com/f/834 – Sorig Jun 30 '14 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.

Extreme Coders
  • 3,441
  • 2
  • 39
  • 55
0

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

Sorawee Porncharoenwase
  • 6,305
  • 1
  • 14
  • 28