wr
hn
Top
New
Best
Ask
Show
Jobs
Back
j
jaycrowell
Joined 2 years ago
Karma
5
Submissions
2
Member since
Mar 11
View on Hacker News
Recent submissions
Comment · 9 months ago
jcrowell.net
Solving the Whole Year Puzzle with Z3
j
jcrowell.net
19
jaycrowell
11 months ago
7
comments