Solving the NYTimes Pips puzzle with a constraint solver

303 · Ken Shirriff · Oct. 18, 2025, 4:11 p.m.
Summary
The blog post discusses solving the NYTimes Pips puzzle using a constraint solver called MiniZinc. It explores how to express puzzle constraints programmatically and describes the workflow of the solver, including handling constraints and optimizing performance. The author emphasizes the learning experience of using constraint solvers and the fun aspect of programming to solve puzzles compared to manual solving.