Resources-about-z3.md

+Various resources found while trying to understand z3:
+
+- http://rise4fun.com/Z3/tutorial/guide
+- http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/advanced-examples.htm
+- https://stackoverflow.com/questions/13930013/equivalence-checking-with-z3
+- https://leodemoura.github.io/files/qsmt.pdf
+- https://stackoverflow.com/questions/13199219/z3-quantifier-support
+- https://stackoverflow.com/questions/15758601/for-all-quantifier-in-z3
\ No newline at end of file