A Boggle solver