Battleship

Solving Battleships with SAT

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

def generate_all_ships(ships):
    for i,ship in ships.items():
        for s in every_ship(i, len(ship)):
            yield s