Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.
Pretend for a moment that the window() function did not exist. For n-rooks, expressing "exactly 1 of 4 is true" is the core of the whole puzzle. So how is this said in CNF? Falling back to letters for readability: