Códigos:

cstock.c  ver em html Exemplo de geração de colunas para o corte unidimensional usando o GLPK.

Pacotes de Programação Linear Inteira:

Um grande apelo de PLI é a disponibilidade de programas resolvedores de alta qualidade. Muitos desses são livres, de modo que o usuário pode modificá-los de acordo com suas necessidades. Dois desses são o GNU Linear Programming Kit (GLPK) e o COIN Branch-and-Cut (COIN CBC). Comparações de desempenho entre esses programas estão disponíveis aqui.

GLPK - GNU Linear Programming Kit

O GLPK é um resolvedor PLI muito documentado e fácil de usar. Apesar de apresentar um desempenho pobre em problemas mais difíceis, é uma ótima opção para desenvolvimento de modelos e testes preliminares. O GLPK aceita arquivos do CPLEX (formato lp) e também modelos escritos na linguagem MathProg, que é baseada na linguagem de modelagem AMPL.

• Software:
• Pacote com código fonte e documentação, ideal para compilar em Unix/Linux.
• GLPK Lab: editor, resolvedor e bibliotecas para windows, incluindo a interface gráfica GUSEK.
• Documentação/Exemplos:
• laEmCasa.mat - modelo de exemplo em GMPL usado na aula 2
• Documentos do pacote: Manual do Resolvedor e da API em C, Manual da Linguagem
• Tutorial IBM Developer Works do GLPK: Parte I em inglês e em português, Parte II e Parte III

COIN CBC - COIN-OR Branch-and-Cut

O CBC é um poderoso resolvedor de programas lineares e inteiros. O pacote inclui recursos como: pré-processamento, planos de corte, heurísticas e estratégias de branching. Apesar de ter sido inicialmente projetado para ser usado como uma biblioteca, o mesmo inclui um resolvedor independente que pode ser chamado pela linha de comando. Assim como o GLPK, ele aceita o formato .lp. Esse resolvedor pode também ser executado em modo paralelo para o aproveitamento de computadores com vários núcleos.

• Software:
• Página principal, com instruções para o download do código a partir do repositório.
• CoinBinary, site com distribuições binárias prontas para uso em diversos sistemas operacionais.
• Documentação:
• Guia do Usuário, com exemplos de código.
• Tutorial INFORMS, por Forrest. J. & Lougee-Heimer, R.
• Uso básico do CBC, por F.Margot. Arquivos adicionais: 1, 2 e 3.