Resources-about-z3.md

@@ -2,6 +2,7 @@ Various resources found while trying to understand z3 better:
 
 - http://rise4fun.com/Z3/tutorial/guide (Z3 tutorial for SMT-2.0)
 - https://github.com/ericpony/z3py-tutorial (Z3 tutorial for Python)
+- https://ece.uwaterloo.ca/~agurfink/ece653/z3py-advanced (z3, python, quantifiers)
 - https://leodemoura.github.io/files/qsmt.pdf
 - http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/advanced-examples.htm
 - https://stackoverflow.com/questions/13930013/equivalence-checking-with-z3