Deceitful War solutions

Deceitful War was solved using Standard ML by 1 contestant.