https://ericpony.github.io/z3py-tutorial/guide-examples.htm should be a quick start.