• Programming in Z3 by learning to think like a compiler https://bellmar.medium.com/programming-in-z3-by-learning-to-think-like-a-compiler-401fd46828d5 18 comments 3/5/2021
• Programming the Z3 SMT solver https://theory.stanford.edu/~nikolaj/programmingz3.html 53 comments 6/2/2019

• Program synthesis with Z3 (2019) https://www.mattkeeter.com/projects/synthesis/ 11 comments 2/1/2022 programming