Hacker News new | ask | show | jobs
by moralestapia 500 days ago
That is true, indeed.

It could be that the author is just massively unskilled at writing Z3 code.
1 comments
moralestapia 500 days ago
Oh come on ...

Either one of the two statements is true, no other way around.

link
AlexeyBelov 499 days ago
Why did you bring such negativity to this thread? "Either one of my two rude statements is true!"

Who asked?

link
moralestapia 498 days ago
Who asked you, though?

It's a forum, people come here to discuss the submissions.

You should know this ...

link