Minion

Minion es un solucionador para problemas de satisfacción de restricciones. A diferencia de los kits de herramientas de programación por restricciones, que esperan que los usuarios escriban programas en un lenguaje de programación tradicional como C++, Java o Prolog, Minion toma un archivo de texto que especifica el problema y lo resuelve utilizando únicamente este. Esto hace que el uso de Minion sea mucho más simple, a costa de mucha menos personalización. Esta limitación permite que Minion sea muchas veces más rápido que los solucionadores comerciales competidores, por ejemplo, se encontró que Minion era más rápido que el principal solucionador comercial de restricciones, CPLEX (anteriormente ILOG CPLEX luego IBM ILOG). Enlaces externos Github Repository Programación por restricciones