Programming in Z3 by learning to think like a compiler

woman holding a giant lego, attempting to build a structure out of giant legos
Image created by stories

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store