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.

Mail: (not shown)

Please type this: