N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
The Z3 Theorem Prover
(
github.com
)
34 points by
benoitg
5 days ago
|
2 comments
add comment
sagacity 5 days ago
[-]
Ah, looks like the submitter has been participating in Advent Of Code.
w3dg 5 days ago
[-]
Haha exactly
Rendered at 12:18:38 GMT+0000 (Coordinated Universal Time) with Vercel.