2 ms·
Unless I missed it, their Z3 solution wasn't even presented. So we can't comment on how good or bad Z3 is without seeing how good or bad their Z3 attempt was.
by Jtsummers 2y ago
Unless I missed it, their Z3 solution wasn't even presented. So we can't comment on how good or bad Z3 is without seeing how good or bad their Z3 attempt was.
- moralestapia 2y agoThat is true, indeed. It could be that the author is just massively unskilled at writing Z3 code.
- moralestapia 2y agoOh come on ... Either one of the two statements is true, no other way around.
- AlexeyBelov 2y agoWhy did you bring such negativity to this thread? "Either one of my two rude statements is true!" Who asked?
- moralestapia 2y agoWho asked you, though? It's a forum, people come here to discuss the submissions. You should know this ...