Solving a corn puzzle with CP-SAT (thill.me)

<a href="https://news.ycombinator.com/item?id=49870760">Comments</a>