Solving Battleships with SAT

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

And then to go full-circle, these tuples describing a ship can be turned back into ASCII-art representations with the exact_ship() function. This will only be used in two places: checking if a ship would disagree with an initial clue and pretty-printing the final puzzle solution.

Mail: (not shown)

Please type this: