z3 - 我在哪里可以获得 z3py 教程

Question

由于一些安全问题，rise4fun z3py 在几周内无法使用。我试图找出一些学习 z3py 的资源，但徒劳无功。请推荐一些学习z3py的资源

score 5 · Accepted Answer

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

更新（2014 年 1 月 14 日）：Z3Py 教程重新上线

score 0 · Accepted Answer

由于安全问题，官方 z3py教程网站已被关闭，在撰写本文时仍不可用。

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

score 0 · Accepted Answer

3 回答 3