Otimização da alocação de tarefas de manutenção de aeronaves usando programação linear inteira mista | Synapse