别自己写回溯，Claude 用 CP-SAT 解玉米谜题

Solving a corn puzzle with CP-SAT

在 RC 的一个无聊周五，我拿起了一个 3D 打印的玉米拼图。作为软件工程师，我本想用递归回溯算法暴力求解，结果 Claude 直接甩给我一个 Python 脚本，第一行就引入了 Google 的 OR-Tools CP-SAT 库。这让我意识到自己犯了蠢：工业级约束求解器早已存在，何必重复造轮子？CP-SAT 将问题建模为变量和约束，高效地处理了类似精确覆盖（Exact Cover）的难题。随后，我和 Zaki、Tommy 一起用同样的工具轻松解决了数独问题。这次经历让我明白，面对特定类型的逻辑难题，调用成熟的求解器远比手写算法明智。