Battleship

Solving Battleships with SAT

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

If you are unfamiliar with the basics of SAT, I suggest you look at this primer.