Solving a corn puzzle with CP-SAT https://thill.me/2026/07/16/corn-puzzle-sat-solver.html #HackerNews #Tech #CPsat