Solving Battleships with SAT

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

This is the real meat of the solver. Here the CNF is assembled. Comments are interspersed into the CNF to facilitate debugging.

Mail: (not shown)

Please type this: