Implementação do modelo matemático Horótimo (otimizador de horários), construído pelo prof. Ricieri.