The Z3 Theorem Prover

Posted by benoitg 5 days ago

Comments

Comment by sagacity 5 days ago

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

Comment by w3dg 5 days ago

Haha exactly