Repositório para o Projeto de da Disciplina de Lógica usando Alloy.