Solving LinkedIn Queens With CP-SAT

On LinkedIn, you can play a variant of the N-Queens problem. A community version of the puzzle can be found here . An example puzzle looks like this: The idea is that each row, column, and colored region must contain exactly one queen. Queens cannot be placed in adjacent cells, including …