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