La suite logicielle Open Source de Google pour l'optimisation OR-Tools, fournit le wrapper MPSolver. pour résoudre les problèmes liés à la programmation linéaire et les problèmes de programmation à base d'entiers mixtes.
Pour résoudre des problèmes de programmation à base d'entiers, vous pouvez également utiliser CP-SAT.
Exemples
Les pages suivantes fournissent des exemples d'utilisation de MPSolver:
- Résoudre le problème du régime alimentaire Stigler avec Glop
- Résoudre un problème de page de destination avec Glop
- Résoudre un problème MIP avec SCIP
- Résoudre un problème de bin packing à l'aide de SCIP
- Résoudre un problème d'attribution à l'aide de CP-SAT
- Utiliser des tableaux pour définir un modèle
Tâches courantes
La section suivante présente les tâches courantes liées à la résolution LP et MIP
Limites de durée
L'exemple ci-dessous montre comment définir une limite de temps de recherche de 15 millisecondes lorsque à l'aide de Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);