Solving Battleships with SAT

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

So where a ship is and what a ship is are very important. Each ship has it's unique identifier, an (x,y) point where it begins at, it's size, and a direction that it is pointing. I chose to represent this as a five-element tuple for compactness but a lightweight Object would not have been out of the question.

Mail: (not shown)

Please type this: