4 ms·
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.
by cgearhart 6y ago
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.
- scomp 6y agoYeah I got excited to see a thread about z3 then I realized.