Battleship

Solving Battleships with SAT

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

all_ships = list(filter_givens(filter_tallies(generate_all_ships(ships))))
Name:
Mail: (not shown)

Please type this: