The Z3 Theorem Prover github.com 35 points by benoitg a year ago · 2 comments Reader PiP Save Collapse all Expand all 1 thread sagacity a year ago Ah, looks like the submitter has been participating in Advent Of Code. w3dg a year ago Haha exactly