Does anybody know good resources for learning z3. I find the docs hard and material is pretty scarce on the topic.