Programming in Z3 by learning to think like a compiler
I wonder if there is a collection somewhere of practical uses of z3? (The simpler the better)I have also used z3 to solve puzzles and toy problems, and found it magical, but can't seem to find any use case for it in practical problems :(