Programming in Z3 by learning to think like a compiler
9 min readMay 3, 2021
Programming in logic can help you produce better optimized, more secure, bug-free code … if only you knew how to do it.
It took me about two years to write my first program in Z3. I had done some tutorials, wrote code to solve other people’s example puzzles, but I couldn’t really figure out how to cross over from very abstract “toy” use cases to applications that had…