Resources-about-z3.md

-Various resources found while trying to understand z3:
+Various resources found while trying to understand z3 better:
 
 - http://rise4fun.com/Z3/tutorial/guide
 - http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/advanced-examples.htm