The Z3 Theorem Prover

34 pointsposted 5 days ago
by benoitg

2 Comments

sagacity

5 days ago

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

w3dg

5 days ago

Haha exactly