MiniZinc2.10.1

Escreva um modelo de alto nível de um problema de agendamento, alocação ou outro problema de restrições, então use MiniZinc para examinar soluções viáveis ou otimizar um objetivo sem reescrever o modelo para cada solucionador. MiniZinc fornece uma cadeia de ferramentas de linguagem integrada e um IDE para expressar problemas de satisfação de restrições e otimização em uma linguagem de modelagem legível. Bibliotecas de restrições predefinidas permitem que os usuários descrevam regras e relacionamentos em alto nível, enquanto o modelo permanece separado do mecanismo que o resolve. Essa separação permite que uma abordagem de modelagem funcione com uma variedade de solucionadores compatíveis, em vez de vincular o problema a um solucionador específico.

A FlatZinc conecta o modelo orientado para o homem com o processamento específico do solucionador para investigar soluções candidatas e resultados de otimização. Os usuários típicos incluem alunos e educadores estudando resolução formal de problemas, bem como outros que precisam representar e testar restrições estruturadas em um ambiente educacional.

MiniZinc 2.10.1 roda em Linux com sistemas snapd e alvo x86 64 (amd64). É um software de código aberto desenvolvido pela MiniZinc na Universidade de Monash em colaboração com a Data61 Decision Sciences e a Universidade de Melbourne. Listado na Educação, ele se adapta a exercícios em sala de aula, experimentos de resolução e modelos de otimização onde mudar o solucionador subjacente não deve exigir mudar a descrição do problema.