puzzle

作者描述了使用MiniZinc约束求解器解决《纽约时报》Pips谜题的过程，展示了如何高效地表达约束条件并找到解决方案。