Solving the Whole Year Puzzle with Z3(jcrowell.net)11 points by jaycrowell 11 months ago | 4 comments