Resources-about-z3.md

 Various resources found while trying to understand z3 better:
 
-- http://rise4fun.com/Z3/tutorial/guide
+- http://rise4fun.com/Z3/tutorial/guide (Z3 tutorial for SMT-2.0)
+- https://github.com/ericpony/z3py-tutorial (Z3 tutorial for Python)
+- 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
-- 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
 - https://github.com/mrexodia/z3-haskell (git repository for the `Z3.Monad` module)
+- https://hackage.haskell.org/package/z3-4.1.1/docs/Z3-Monad.html (docs for `Z3.Monad`)
\ No newline at end of file