In this paper, we solve a logical puzzle, the Battleship puzzle, by integer programming. Here's an alternative 'old style' game index, showing all games alphabetically and grouped in three columns: solitaire, checkmate and other games. One’s aim in solving logical puzzles is to find the solution by making use of several clues and restrictions.