A1Q4 Proper Assumption

[Hao Chen]

For this question, can we assume that the puzzle is properly filled?
i.e. each cell contains some number, no cell contain more than one
number, etc.?

[Curtis Bright]

Post by Hao Chen
For this question, can we assume that the puzzle is properly filled?
i.e. each cell contains some number, no cell contain more than one
number, etc.?

Your formula should encode the rules of what it means to be "properly
filled". So the formula should be true under exactly the valuations
which correspond to valid solutions.

Curtis