GitHub repository: CarmelitaBraga/UberUFCG
Description: ✏️ Projeto em Alloy para a cadeira de lógica para ciência da computação