I've been learning the basics of using Z3 by creating a solver for the daily puzzle game Clues By Sam (very fun game; https://cluesbysam.com/). Repo is https://github.com/DylanSp/clues-by-sam-solver. It uses Playwright to read clues and submit guesses; I've got it working for all 50 puzzles in puzzle pack 1.
Congrats on getting it to that point! Exciting to see how others approach this, as there's also a solver as part of the puzzle setting process ensuring all valid deductions are allowed.
tikotus|1 month ago