Trabalho Desenvolvido para disciplina de Pesquisa Operacional 2019.1 - UFJF. O projeto usou o resolvedor SAT do Google e o resolvedor linear CPLEX para encontrar uma solução de roteamento para a frota de uma empresa utilizando como dados as informações obtidas em contato com a empresa. O problema se caracteriza como o problema do Caixeiro Viajante e foi-se utilizado as cidades atendidas pela empresa em conjunto com a API de matriz de distâncias do Google Maps para encontrar as distâncias entre as cidades e encontrar uma solução para o roteamento dos 10 veículos da empresa.