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.