Brattleship solutions

Brattleship was solved using Rust by 2 contestants. Solution sizes: average 1136 bytes (shortest: 1052; longest: 1221).