Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Where can i get z3py tutorials

Tags:

z3

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

like image 358
svKris Avatar asked Nov 15 '13 13:11

svKris


1 Answers

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

like image 84
Leonardo de Moura Avatar answered Oct 03 '22 00:10

Leonardo de Moura