Battleship

Solving Battleships with SAT

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

Usually I will look for three solutions. Typically I only care if there are zero, one, two, or many solutions.

Name:
Mail: (not shown)

Please type this: