MiniZinc

MiniZinc es un lenguaje de modelado de limitaciones de código abierto para Linux. Está diseñado para describir problemas de satisfacción y optimización de restricciones sin atar el modelo a un determinado solucionador. Esto lo hace adecuado para estudiantes, educadores y otros usuarios que trabajan con modelos formales de solución de problemas en un entorno educativo.

Los modelos se pueden escribir a un nivel alto utilizando una biblioteca de limitaciones predefinidas. El idioma separa la descripción del problema del solucionador utilizado para procesarlo. Esto permite utilizar el mismo enfoque de modelado con una gama de solvers soportados.

Después de crear un modelo, MiniZinc lo compila en FlatZinc. FlatZinc es un lenguaje de entrada solucionador entendido por una amplia gama de solvers. Este paso de compilación conecta el modelo legible con el procesamiento específico del solucionador necesario para examinar soluciones o resultados de optimización.

MiniZinc se encuentra en la categoría Educación para la plataforma Linux. Se desarrolla en la Universidad Monash en colaboración con Data61 Decision Sciences y la Universidad de Melbourne. MirrorNest distribuye el Linux oficial construido directamente desde su propio almacenamiento y lo escanea para malware antes de publicarlo.