A solver for the game of Boggle