Descrição
Modelos de restrições podem ser escritos, executados e explorados em um ambiente gráfico MiniZinc. Pesquisadores, estudantes e usuários de otimização usam MiniZinc IDE para modelar escalas, alocação, planejamento e outros problemas de solução de restrições.
É uma IDE de modelagem de otimização, não uma planilha. Os resultados dependem do modelo, escolha do solver, qualidade dos dados e interpretação de soluções viáveis ou ótimas.