probably under a wrong thread, but can you point me to the one you intended? Really curious about that
Haha, I've often wondered how one could answer to the wrong thread on HN, and there I am :)
Was intended for https://news.ycombinator.com/item?id=47025885
And z4 is, of course z3 (no I don't have special access to next-gen version of z3)
Haha, I've often wondered how one could answer to the wrong thread on HN, and there I am :)
Was intended for https://news.ycombinator.com/item?id=47025885
And z4 is, of course z3 (no I don't have special access to next-gen version of z3)