HN
Hacker News
Top
New
Best
Ask
Show
Jobs
The Z3 Theorem Prover | Hacker News Reader
The Z3 Theorem Prover
github.com
35 points
·
benoitg
·
·
2 comments
Open article
Save
View on HN
sagacity
·
Ah, looks like the submitter has been participating in Advent Of Code.
w3dg
·
Haha exactly
Reply on news.ycombinator.com