HN
Hacker News
Top
New
Best
Ask
Show
Jobs
jaycrowell
5 karma · joined March 11, 2024
submissions
comments
Solving the Whole Year Puzzle with Z3
jcrowell.net
·
19 pts
·
jaycrowell
·
7