SMT solvers sound interesting and this Python example looks very approachable. Anyone know if there are other cookbook-type "here's how you solve practical pro

SMT solvers sound interesting and this Python example looks very approachable. Anyone know if there are other cookbook-type "here's how you solve practical problem x with SMT" recipes that might serve as a cargo cult-type (theory-oblivious) dive into SMT?