The Z3 Theorem Prover

Y	Hacker News new \| ask \| show \| jobs

	The Z3 Theorem Prover (github.com)
	35 points by benoitg 184 days ago

1 comments

Ah, looks like the submitter has been participating in Advent Of Code.

Haha exactly