alt Hacker News

The Z3 Theorem Prover

19 points • by benoitg • yesterday at 10:00 AM • 1 comment • view on HN

Comments

sagacity • yesterday at 4:21 PM

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

➕ show 1 reply