Solving Battleships with SAT

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

At this point the entire puzzle has been expressed as a giant boolean logical expression. All that is left to do is report the results.

Mail: (not shown)

Please type this: