Solving Battleships with SAT
Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.
And finally those row/column tallies from the very beginning are applied to the board.
window() sets up that a certain minimum and maximum of terms in a set of terms are true.