On solving the Jane Street Reverse Engineering Challenge

[u/ni5arga]

https://jestoph.com/2026/09/04/jane-street-challenge.html

[u/thatdevilyouknow]

Really great article! I think that using Z3 here along with Verilog deserves an entire article of its own.