Solving the Whole Year Puzzle with Z3 Posted by jaycrowell on Sunday November 16, 2025 @08:42PM from the jcrowell.net dept. https://jcrowell.net/posts/whole-year-sat ( Read More... | 7 comments | on HN )