Get the latest tech news

Solving the Whole Year Puzzle with Z3

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of year puzzle

year puzzle

Related news:

Lone coder cracks 50-year puzzle to find Boggle's top-scoring board

« The Fate of Google’s Ad Tech Monopoly Is Now in a Judge’s Hands

Perplexity's Comet for Android is an AI browsing companion for anything online »