Brattleship solutions

Brattleship was solved using OCaml by 7 contestants. Solution sizes: average 787 bytes (shortest: 202; longest: 2499).