由于某些安全问题，rise4fun z3py几周后无法使用。我试图找出一些学习z3py的资源，但徒劳无功。请建议一些资源来学习z3py
最佳答案
我使用Z3Py教程源创建了一个zip文件。
它基本上是几个HTML页面和一堆python文件。
链接在这里:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
更新(2014年1月14日):Z3Py教程重新上线
由于某些安全问题，rise4fun z3py几周后无法使用。我试图找出一些学习z3py的资源，但徒劳无功。请建议一些资源来学习z3py
最佳答案
我使用Z3Py教程源创建了一个zip文件。
它基本上是几个HTML页面和一堆python文件。
链接在这里:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
更新(2014年1月14日):Z3Py教程重新上线