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
-
https://github.com/mrexodia/z3-haskell (git repository for the
Z3.Monadmodule)