The Z3 Theorem Prover (opens in new tab)

(github.com)

35 pointsbenoitg3mo ago2 comments

2 comments

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

w3dg3mo ago

Haha exactly

j / k navigate · click thread line to collapse

(github.com)

35 pointsbenoitg3mo ago2 comments

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

w3dg3mo ago

Haha exactly

j / k navigate · click thread line to collapse