The Z3 Theorem Prover (opens in new tab)

(github.com)

35 pointsbenoitg6mo ago2 comments

2 comments

2 comments · 1 top-level

sagacity6mo ago· 1 in thread

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

w3dg6mo ago

Haha exactly

j / k navigate · click thread line to collapse