ILP Part 61 – Sudomino

This is the sixtieth first part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra

Today we are going to solve Sudomino.

We have a Sudoku board filled with dominoes. Some fields are blocked. We need to assign numbers to dominoes in a way that numbers in each row/column are different.


This one should be pretty obvious. Solution: