o pacote de software de código aberto do Google para otimização, OR-Tools, fornece o wrapper MPSolver. para resolver programação linear e Problemas de programação de números inteiros mista.
Para resolver problemas de programação de números inteiros puros, também é possível usar o Solucionador CP-SAT.
Exemplos
As páginas a seguir fornecem exemplos que ilustram o uso do MPSolver:
- Resolver o problema da dieta Stigler usando o Glop
- Resolver um problema do LP usando o Glop
- Como resolver um problema de MIP usando SCIP
- Resolver um problema de empacotamento usando o SCIP
- Resolver um problema de atribuição usando CP-SAT
- Como usar matrizes para definir um modelo
Tarefas comuns
A seção a seguir demonstra tarefas comuns relacionadas à solução de problemas LPs e MIPs.
Limites de tempo
O exemplo abaixo mostra como definir um limite de tempo de pesquisa de 15 milissegundos quando usando o Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);