MiniZincIDE

MiniZincIDE es un entorno de escritorio para desarrollar con MiniZinc, un lenguaje de alto nivel para expresar problemas de optimización discreta y satisfacción de restricciones. Este cask de Homebrew instala la aplicación para macOS y también ofrece las herramientas de línea de comandos minizinc y mzn2doc.

Con el IDE puedes escribir y ejecutar modelos, visualizar la búsqueda y las soluciones, y analizar el rendimiento. Los modelos MiniZinc utilizan construcciones legibles y tipadas, y se pueden ejecutar con distintas tecnologías de resolución, por lo que no quedan ligados a un único solver. El lenguaje también incluye restricciones predefinidas para expresar relaciones en un modelo.

Para instalarlo, ejecuta brew install --cask minizincide. El cask requiere macOS 12 o posterior. Tras la instalación, abre MiniZincIDE desde Aplicaciones o utiliza en un terminal los comandos instalados minizinc y mzn2doc.

MiniZincIDE es un entorno de modelado y desarrollo; las tecnologías de resolución disponibles dependen del solver utilizado. El sitio oficial ofrece ejemplos introductorios y materiales de aprendizaje, como un tutorial y un manual de usuario.

Fuentes: MiniZinc · Homebrew cask