The Z3 Theorem Prover github.com 35 points by benoitg 3 months ago · 2 comments Reader PiP Save sagacity 3 months ago Ah, looks like the submitter has been participating in Advent Of Code. w3dg 3 months ago Haha exactly