Solving Battleships with SAT

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

Of course some of these locations for ships are clearly illegitimate with the given clues. These are removed by filter_givens().

Mail: (not shown)

Please type this: