The Z3 Theorem Prover(github.com)35 ポイント·投稿者 benoitg·7 か月前·2 コメントgithub.comThe Z3 Theorem Proverhttps://github.com/Z3Prover/z32 コメントコメントを投稿[–]sagacity·7 か月前返信Ah, looks like the submitter has been participating in Advent Of Code.[–]w3dg·7 か月前返信Haha exactly