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