Statt Backtracking: Wie Claude ein Mais-Puzzle mit CP-SAT löst
Solving a corn puzzle with CP-SAT
Ein 3D-gedrucktes Mais-Puzzle diente als Anlass, statt selbstgebautem Backtracking Googles OR-Tools CP-SAT einzusetzen. Der Autor modelliert das Puzzle als Exact-Cover-Problem mit binären Variablen und zwei Constraint-Klassen: Jedes Teil wird genau einmal platziert, jede Rille genau einmal bedeckt. Anschließend überträgt er das Gelernte auf Sudoku – und zieht das Fazit, künftig lieber fertige Solver zu nutzen.
Wenn ich in Zukunft auf ein weiteres CP-SAT-förmiges Problem stoße, werde ich wissen, dass ich einen Solver ausprobieren und die Dokumentation lesen sollte, anstatt etwas Eigenes zu entwickeln.