我在哪里可以获得z3py教程

rise4fun由于一些安全问题，z3py在几周内不可用。我试图找出一些学习z3py的资源，但是徒然结束。请建议一些资源来学习z3py我在哪里可以获得z3py教程

2013-11-15 svKris

问题，要求我们建议或找到一个工具，库或喜爱的异地资源是题外话堆栈溢出，因为他们往往以吸引自以为是的答案和垃圾邮件。 –

我不是要求为我找到一些工具。 z3的官方页面提供了stackoverflow作为联系方式之一。请参阅http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.html。 – svKris

“请推荐一些资源”是推荐或找到某物的请求。官方网页发送给您的事实并不会自动让无关主题的帖子成为主题。这里的准则**表示你的问题是无关紧要的。请参阅[在主题页面上]（http：// stackoverflow/help/on-topic），特别是该页面上的编号列表。 –

我用Z3Py教程资源创建了一个zip文件。它基本上是几个HTML页面和一堆python文件。这里是链接：
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true

更新（2014年1月14日）：在Z3Py教程重新联机

2013-11-15 16:24:06

Z3Py似乎再次下降。我下载了你的文件，并用这些例子填充了html文件（我发现它很烦人，不得不参考.py文件）。这些可以在这里下载http://dropproxy.com/f/834 – Sorig

的officialz3py教程网站已经taken down due to security problems并且仍然在写作时不可用这篇文章。

与此同时，您可以访问包含所有文件的网站的镜像，网址为github。

2015-04-25 04:47:59

2015-05-03 02:03:23

回答