Projeto-Alloy da disciplina Lógica para Computação - 2018.1
Tema: Copa do Mundo
A copa do mundo é um evento esportivo que ocorre a cada 4 anos. Desse evento, participam 16 seleções divididas em 4 grupos, cada grupo com 4 seleções. Cada seleção possui 30 pessoas na equipe, sendo elas:
22 jogadores, que podem ser titulares ou reservas 1 técnico 4 médicos 3 membros da comissão técnica A copa do mundo também irá possuir um jogo(apenas um, para fins de simplificação). Cada jogo obrigatoriamente deve possuir 2 seleções distintas, e cada seleção desse jogo deve possuir no mínimo 11 jogadores titulares.
Para que o torneio fique organizado, é necessário seguir algumas regras, como: uma seleção não pode estar em mais de um grupo; um jogador não pode ser titular e reserva ao mesmo tempo; um técnico tem que estar associado a apenas uma seleção; só uma seleção pode ser a campeã no final do torneio.
Cliente: Agnaldo
Integrantes: Thiago Santos, Gabriel Almeida, Marcelo Vitorino e José Vinicuis