Brattleship solutions

Brattleship was solved using TCL by 1 contestant.