The Z3 Theorem Prover (opens in new tab)

(github.com)

35 pointsbenoitg5mo ago2 comments

2 comments

Ah, looks like the submitter has been participating in Advent Of Code.

w3dg5mo ago

Haha exactly

j / k navigate · click thread line to collapse

Ah, looks like the submitter has been participating in Advent Of Code.

w3dg5mo ago

Haha exactly

j / k navigate · click thread line to collapse