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