MiniZincIDE

MiniZincIDE é um ambiente de desktop para desenvolver com MiniZinc, uma linguagem de alto nível para expressar problemas de otimização discreta e satisfação de restrições. Este cask do Homebrew instala o aplicativo para macOS e também disponibiliza as ferramentas de linha de comando minizinc e mzn2doc.

No IDE, você pode escrever e executar modelos, visualizar a busca e as soluções e analisar o desempenho. Os modelos MiniZinc usam construções legíveis e tipadas e podem ser executados com diferentes tecnologias de solver, sem ficarem presos a um único solver. A linguagem também inclui restrições predefinidas para expressar relações em um modelo.

Para instalar, execute brew install --cask minizincide. O cask requer macOS 12 ou posterior. Depois da instalação, abra o MiniZincIDE em Aplicativos ou use no terminal os comandos instalados minizinc e mzn2doc.

MiniZincIDE é um ambiente de modelagem e desenvolvimento; as tecnologias de solver disponíveis dependem do solver utilizado. O site oficial oferece exemplos introdutórios e materiais de aprendizado, incluindo um tutorial e um manual do usuário.

Fontes: MiniZinc · Homebrew cask