Solving a corn puzzle with CP-SAT

What I did at Recurse Center