The Z3 Theorem Prover

Posted by benoitg 2 days ago

Comments

Comment by sagacity 1 day ago

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

Comment by w3dg 1 day ago

Haha exactly