FRESH

Hacker News

Home

The Z3 Theorem Prover

34 points by benoitg

by sagacity

1 subcomments

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

Created with the FRESH

framework