我在哪里可以获得 z3py 教程

问题描述

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

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

推荐答案

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

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

更新(2014 年 1 月 14 日):Z3Py 教程重新上线

Update (Jan 14, 2014): the Z3Py tutorials are back online

这篇关于我在哪里可以获得 z3py 教程的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！