MENTA

MINTO ( Mixed Integer Optimizer ) es un solucionador de programación entera que utiliza el algoritmo de ramificación y acotación .

MINTO es un sistema de software que resuelve problemas de programación entera mixta mediante un algoritmo de ramificación y acotación con relajaciones de programación lineal . También ofrece clasificación automática de restricciones, preprocesamiento, heurísticas primales y generación de restricciones. Además, cuenta con generación de cortes integrada y puede crear cortes de mochila , cortes GUB , cortes de clique , cortes de implicación , cortes de flujo , redondeo de enteros mixtos y cortes de Gomory . El usuario puede enriquecer el algoritmo básico proporcionando diversas rutinas de aplicación especializadas que permiten personalizar MINTO para lograr una mayor eficiencia en una clase de problemas específica.

MINTO no posee un solucionador de programación lineal (PL) propio. Puede utilizar la mayoría de los solucionadores de PL, como CLP, CPLEX y XPRESS, a través de la interfaz OSI de COIN-OR . MINTO puede leer archivos en formato MPS y también puede ser llamado como solucionador desde AMPL . Es compatible con los sistemas operativos Linux y Windows. MINTO es un solucionador no comercial y sus ejecutables están disponibles para su descarga gratuita en su página web COR@L.

• COIN-OR (Infraestructura Computacional para la Investigación Operativa)

• JT Linderoth y TK Ralphs, Software no comercial para programación lineal entera mixta, Programación entera: teoría y práctica , John Karlof (ed.), CRC Press Operations Research Series, 2005, 253–303. (Versión preliminar en PDF)

• Página principal de MINT