Tech News
← Home  ·  All topics

Cp Sat

1 GoKawiil brief on this topic

Engineer uses Google's OR-Tools CP-SAT solver to crack 3D-printed corn puzzle

An engineer at Recurse Center tried to solve a 3D-printed physical puzzle where corn-kernel-shaped pieces must slide into a grooved cob without gaps or overlaps. After manually attempting it, they asked Claude to write a solving script, which required some back-and-forth to correct piece shapes via computer vision. Rather than implementing recursive backtracking as expected, Claude's script imported Google's OR-Tools CP-SAT constraint solver library to find a solution.