The Z3 Theorem Prover | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		The Z3 Theorem Prover (github.com/z3prover)
		29 points by benoitg 18 hours ago \| hide \| past \| favorite \| 2 comments

sagacity 12 hours ago [–]

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

w3dg 5 hours ago | [–]

Haha exactly

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact