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

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

		sagacity 2 days ago \| parent \| context \| favorite \| on: The Z3 Theorem Prover Ah, looks like the submitter has been participating in Advent Of Code.

w3dg 1 day ago [–]

Haha exactly

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