The short version
Microsoft's SMT solver for symbolic reasoning, constraint solving, and software verification.
From the HackerLinks archive
Z3
Microsoft's SMT solver for symbolic reasoning, constraint solving, and software verification.
At a glance:
First seen:2026-09-05
Last seen:2026-09-05
Times seen:1
Website:github.com
Why it caught our attention
A puzzle solver loved Z3 after using it on a reverse-engineering challenge.
Where it surfaced on Hacker News
2026-09-05
“I love z3. I used it for the first time for Jane Street's puzzle last year involving a hashing alg disguised as a neural network.”
mdritch · recommendation · first hand use
Direct HN comment
Solving the Jane Street reverse engineering challenge
Also surfaced in this discussion
KLayout
Solving the Jane Street reverse engineering challenge
2026-09-05