MiniZinc2.10.1

Escribe un modelo de alto nivel de un problema de programación, asignación u otro problema de restricción, luego utiliza MiniZinc para examinar soluciones viables o optimizar un objetivo sin reescribir el modelo para cada solucionador. MiniZinc proporciona una cadena de herramientas de lenguaje y IDE para expresar problemas de satisfacción y optimización de restricciones en un lenguaje de modelado legible. Las bibliotecas de restricción predefinidas permiten a los usuarios describir reglas y relaciones a un nivel alto, mientras que el modelo permanece separado del motor que lo resuelve. Esta separación permite un enfoque de modelado para trabajar con una gama de solvers soportados en lugar de bloquear el problema a un solucionador en particular.

FlatZinc conecta el modelo humano con el procesamiento específico de solucionadores para investigar soluciones de candidatos y resultados de optimización. Los usuarios típicos incluyen estudiantes y educadores que estudian la solución formal de problemas, así como otros que necesitan representar y probar limitaciones estructuradas en un entorno educativo.

MiniZinc 2.10.1 se ejecuta en Linux con sistemas snapd y targets x86 64 (amd64). Es software de código abierto desarrollado por MiniZinc en la Universidad de Monash en colaboración con Data61 Decision Sciences y la Universidad de Melbourne. Incluido en Educación, es adecuado para ejercicios en el aula, experimentos con solucionadores y modelos de optimización en los que cambiar el solucionador subyacente no debería requerir cambiar la descripción del problema.