Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
The Z3 Theorem Prover
(github.com)
35 points
by
benoitg
159 days ago
| 2 comments
The Z3 Theorem Prover | Dark Hacker News
sagacity
158 days ago
|
next
[−]
Ah, looks like the submitter has been participating in Advent Of Code.
w3dg
158 days ago
|
parent
|
next
[−]
Haha exactly