Linear Programming, Kakuro Puzzles, Gurobi, Puzzle Game, Discrete Optimization.
vertically and not horizontally. Let us define the following variables: Then, we devise the two following linear constraints: The reasoning for both of these constraints is the exact same as the horizontal clues. The difference is that we are now fixing j, since we are moving vertically, and