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