HN Explorer

jaycrowell

↗ HN profile [ 88.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Solving the Whole Year Puzzle with Z3 (jcrowell.net)
    19 points 7