la suite di software open source di Google per l'ottimizzazione, OR-Tools, fornisce il wrapper MPSolver per risolvere la programmazione lineare e problemi di programmazione di numeri interi misti.
Per risolvere problemi di programmazione di numeri interi puri puoi utilizzare anche Risolutore CP-SAT.
Esempi
Le pagine seguenti forniscono esempi che illustrano l'utilizzo di MPSolver:
- Risolvere il problema della dieta Stigler con Glop
- Risolvere un problema di LP utilizzando Glop
- Risolvere un problema MIP utilizzando SCIP
- Risolvere un problema di bin packing utilizzando SCIP
- Risolvere un problema di assegnazione utilizzando CP-SAT
- Utilizzare gli array per definire un modello
Attività comuni
La seguente sezione illustra attività comuni correlate alla risoluzione LP e MIP.
Limiti di tempo
L'esempio seguente mostra come impostare un limite di tempo di ricerca di 15 millisecondi quando utilizzando Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);