Hacker News new | ask | show | jobs
by scomp 1919 days ago
Yeah I got excited to see a thread about z3 then I realized.