MONEDA-OR

COIN-OR LP (CLP o Clp) es un solucionador de programación lineal de código abierto escrito en C++ . Se publica bajo la Licencia Pública Común , por lo que puede utilizarse en software propietario sin necesidad de contribuir con mejoras, como ocurre con la Licencia Pública General de GNU . CLP está diseñado principalmente para usarse como una biblioteca invocable, aunque también se puede compilar una versión ejecutable independiente. Está diseñado para ser tan fiable como cualquier solucionador comercial, aunque varias veces más lento, ^{[ 3 ]} y para poder abordar problemas de gran tamaño.

CLP está diseñado para resolver problemas de programación lineal como  :

minimizar${\displaystyle c_{1}x_{1}+c_{2}x_{2}\,}$

• sujeto a las restricciones del problema de la siguiente forma

${\displaystyle a_{11}x_{1}+a_{12}x_{2}\leq b_{1}}$

${\displaystyle a_{21}x_{1}+a_{22}x_{2}\leq b_{2}}$

${\displaystyle a_{31}x_{1}+a_{32}x_{2}\leq b_{3}}$

• y variables no negativas

${\displaystyle x_{1}\geq 0}$

${\displaystyle x_{2}\geq 0}$

con hasta millones de variables y/o restricciones. Su algoritmo principal es el algoritmo simplex .

CLP se utiliza en otros proyectos de COIN-OR como SYMPHONY , Branch Cut and Price (BCP), COIN-OR Branch and Cut ( CBC ) y otros.

COIN-OR branch and cut (CBC o Cbc) es un solucionador de programación entera mixta de código abierto escrito en C++ . Puede utilizarse como ejecutable independiente y como biblioteca invocable (a través de A Mathematical Programming Language ( AMPL ) [de forma nativa], General Algebraic Modeling System (GAMS) [utilizando los enlaces proporcionados por los proyectos COIN-OR Optimization Services (OS) y GAMSlinks ], MPL [a través del proyecto CoinMP ], AIMMS [a través del proyecto AIMMSlinks ], PuLP , CMPL, ^{[ 4 ]} OpenSolver para Excel, ^{[ 5 ]} JuMP, ^{[ 6 ]} o MiniZinc ). Aunque ha sido una opción popular de solucionador MIP de código abierto durante muchos años, su rendimiento ahora es significativamente inferior al de HiGHS. ^{[ 7 ] [ 8 ]}

SYMPHONY ( Optimización de procesos únicos o múltiples sobre redes ) es un marco de código abierto de ramificación y corte para resolver programas de enteros mixtos (MIP) sobre redes heterogéneas. ^{[ 9 ]} Puede utilizar CLP , CPLEX , XPRESS u otros solucionadores de programación lineal para resolver los programas lineales subyacentes.

SYMPHONY es una biblioteca invocable que implementa versiones secuenciales y paralelas del algoritmo de ramificación, corte y precio para resolver problemas de programación lineal entera mixta (MILP). Este algoritmo es similar al de ramificación y acotación , pero incluye además métodos de planos de corte y algoritmos de precios. El usuario puede personalizar el algoritmo de diversas maneras, proporcionando subrutinas específicas para la aplicación, como la lectura de archivos de datos personalizados, la generación de planos de corte específicos o la aplicación de reglas de ramificación personalizadas, lo que da como resultado un algoritmo de ramificación y corte a medida. La mayoría de los componentes del algoritmo, como la gestión del árbol de búsqueda, la gestión de la solución de programación lineal, la gestión del conjunto de cortes y la gestión de la comunicación, son internos a la biblioteca y no requieren la intervención del usuario. Los ejecutables pueden compilarse en diversas configuraciones, desde completamente secuenciales hasta totalmente paralelas, con generadores de cortes, conjuntos de cortes y solucionadores de programación lineal que funcionan de forma independiente. La versión distribuida se ejecuta actualmente en cualquier entorno compatible con el protocolo de paso de mensajes PVM . El mismo código fuente también puede compilarse para arquitecturas de memoria compartida utilizando cualquier compilador compatible con OpenMP .

SYMPHONY lee archivos MPS (a través del lector COIN-OR MPS) y GNU MathProg . SYMPHONY no tiene un solucionador de programación lineal propio, pero puede usarse con solucionadores como Clp, Cplex y Xpress a través de la interfaz Osi. Los cortes se generan usando la biblioteca de generación de cortes de COIN: CGL. SYMPHONY también tiene implementaciones específicas para problemas estructurales como el problema del viajante , el problema de enrutamiento de vehículos , el problema de partición de conjuntos , el problema del cartero mixto , etc. SYMPHONY también tiene una consola interactiva donde el usuario puede ingresar comandos para ejecutar y controlar el programa.

PuLP es un modelador LP/IP escrito en Python . ^{[ 10 ]} Puede generar archivos MPS o LP y llamar a GLPK , CLP / CBC y CPLEX para resolver problemas lineales. PuLP es la herramienta de optimización predeterminada en SolverStudio para Excel .

SMI es un modelador y solucionador de programación estocástica escrito en C++. ^{[ 11 ]} Puede leer MPS estocástico y ofrece interfaces directas para construir programas estocásticos. Genera el programa lineal equivalente determinista, lo resuelve y proporciona interfaces para acceder a las soluciones de los escenarios.

RBFOpt es un solucionador MINLP de código abierto escrito en Python y distribuido bajo la licencia BSD revisada. RBFOpt emplea una estrategia de modelo sustituto de función de base radial para minimizar funciones objetivo de caja negra costosas. Resuelve problemas MINLP con una combinación de variables continuas, enteras y categóricas sujetas a restricciones de caja. No admite restricciones lineales ni no lineales generales.

El solucionador tiene una larga trayectoria de desarrollo y se sigue desarrollando activamente en GitHub. Para resolver problemas con variables enteras, requiere un solucionador MINLP externo y suavizado. Se pueden utilizar Bonmin e Ipopt, de código abierto.