A presente especificação formal foi desenvolvida como projeto da disciplina Lógica para Computação do curso de Ciência da Computação, da Universidade Federal de Campina Grande (UFCG), durante o período 2018.1.
Um certo condomínio com 14 casas está sendo finalizado. Nessa reta final, a equipe conta com 24 profissionais (9 pedreiros, 5 pintores, 7 eletricistas e 3 decoradores). Também estão presentes no condomínio 10 auxiliares de serviços gerais e 13 fiscais para avaliar o trabalho de todos os membros da equipe de profissionais. Apesar da obra já estar chegando ao fim, eles precisam seguir algumas regras para que o trabalho de um não atrapalhe o do outro.
Cada casa deve ter, no máximo, dois auxiliares de limpeza. Quando um pedreiro estiver em uma das casas do condomínio, um pintor não deve estar na mesma casa. Porém, onde estiver um pintor, obrigatoriamente deve haver um auxiliar de serviços gerais para limpar a tinta no chão. Onde estiver um eletricista, não deve haver um pintor, mas, obrigatoriamente, deve haver um pedreiro, pois pode haver a necessidade de colocar alguma tomada em uma das paredes.
Onde estiver um decorador não deve haver pedreiros, pintores ou eletricistas. Vale lembrar que o fiscal deve avaliar o trabalho da equipe, então, não faz sentido que ele esteja em uma casa sozinho.
- David Eduardo Pereira
- Mateus de Lima Oliveira
- Matheus Alves dos Santos
- Misael Augusto Silva da Costa