I would backtrack along the players:
Let's say I already have an assignment for all players 1,...,(i-1).
Then I can test all assignments of player i to a position (Goalkeeper, Defender, ...) and just have to check the "13"-constraint.
This gets me all possible assignments of players 1,...,i.
Just do this for players 1 to n recursively and finished.