OR-Tools, la suite software open source di Google per l'ottimizzazione, fornisce il wrapper MPSolver per risolvere problemi di programmazione lineare e programmazione di numeri interi misti.
Per risolvere problemi di programmazione con numeri interi, puoi anche utilizzare il risolutore CP-SAT.
Esempi
Le pagine seguenti forniscono esempi che illustrano l'utilizzo di MPSolver:
- Come risolvere il problema della dieta Stigler utilizzando 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 le attività comuni relative alla risoluzione di LP e MIP.
Limiti di tempo
L'esempio seguente mostra come impostare un limite del tempo di ricerca di 15 millisecondi quando si utilizza Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);