"SAT/SMT by Example" also contains many Z3 examples (and has a new URL): https://smt.st/