The Z3 Theorem Prover(github.com)35 points·by benoitg·7 месяцев назад·2 commentsgithub.comThe Z3 Theorem Proverhttps://github.com/Z3Prover/z32 commentsPost comment[–]sagacity·7 месяцев назадreplyAh, looks like the submitter has been participating in Advent Of Code.[–]w3dg·7 месяцев назадreplyHaha exactly