Solving a corn puzzle with CP-SAT

发生了什么

One random Friday at RC, I was bored and playing around with a puzzle someone had 3d printed:

摘要按规则整理自下方来源原文

来源