2 ms·
probably under a wrong thread, but can you point me to the one you intended? Really curious about that
by gravifer 8mo ago
probably under a wrong thread, but can you point me to the one you intended? Really curious about that
- rixed 8mo agoHaha, 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 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)