Solving a corn puzzle with CP-SAT
Summary
A personal blog post explores solving a physical corn puzzle using Google's OR-Tools CP-SAT solver. It contrasts backtracking with a constraint programming approach, showing how to model the puzzle with binary variables and constraints, and includes a Sudoku example to illustrate the method. The piece highlights learning outcomes from leveraging a solver instead of hand-coding a brute-force search.