The Z3 Theorem Prover

35 pointsposted 2 months ago
by benoitg

2 Comments

sagacity

2 months ago

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

w3dg

2 months ago

Haha exactly