4 ms·
That is true, indeed. It could be that the author is just massively unskilled at writing Z3 code.
by moralestapia 2y ago
That 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 ...