Clicked into the comments to say the same thing. I was just using Z3 today, actually–so that's what I thought this article would be about.