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://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://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.Monadmodule) -
https://hackage.haskell.org/package/z3-4.1.1/docs/Z3-Monad.html (docs for
Z3.Monad)