Desenvolver código em Ampl e relatório

Resolver o problema abaixo em linguagem AMPL  e elaborar relatório:
Neste problema específico cada caminhão de entrada NV1 deve descarregar em uma das M1 docas disponíveis e NV2 caminhões devem descarregar em M2 docas disponíveis. Cada caminhão possui, um tempo de descarregamento/carregamento, uma data de chegada r (NV1 caminhões). Sabendo que cada caminhão de entrada atende um subgrupo de caminhões de saída (S subgrupo de NV2). O problema consiste em minimizar o tempo máximo necessário para carregar os caminhões de saída.
1. Formulação Matemática e explicação.
2. Propor:
• Limite Superior
• Relaxação Combinatória
• Modelo Matemático
e comparar os resultados.
3. Propor corte ao modelo matemático.
4. Propor uma Relação Lagrangeana e compara com os resultados da relaxação combinatória.
5. Implementar um B&B