Solving Battleships with SAT

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

I'm sure some people won't be happy to see this hard-coded into the sources. But writing parsers is annoying for toy problems. And in an actual Puzzle Hunt you will be presented with a unique variation that will require many one-off modifications to the sources anyway. First the ships are listed graphically. Then the clues are given. The across string reads the numbers across the top from left to right, and down reads the numbers from the left side from top to bottom. Finally the givens on the puzzle board are presented as ASCII art.

Mail: (not shown)

Please type this: