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)<p>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 :(