Minion. um novo solucionador de restrição
Baixe Agora

Minion. Classificação e resumo

Minion. Tag

solver modelagem Restrição Solver restrição Modelagem de restrição Modelos de matriz

Minion. Descrição

Um novo solucionador de restrição O Minion é um novo solucionador de restrição, que é muito rápido e balança bem como o tamanho do problema aumenta. Resultados empíricos em benchmarks padrão mostram ordens de desempenho de magnitude ganhos sobre kits de ferramentas de restrição de última geração. Esses ganhos aumentam com o tamanho do problema --- Minion oferece solução de restrição escalável.minion é um solucionador de restrição de uso geral, com um idioma de entrada expressivo com base no dispositivo de modelagem de restrições comuns de modelos de matriz. O foco em modelos matriz suporta uma implementação enxuta e altamente otimizada. Isso contrasta com os kits de ferramentas de restrição atuais, que, para fornecer mais opções de modelagem e resolução, tornaram-se progressivamente mais complexos ao custo de desempenho e usabilidade. Minion é uma caixa preta do ponto de vista do usuário, fornecendo deliberadamente algumas opções . Isso, combinado com sua velocidade bruta, faz o Minion um passo substancial em relação ao paradigm.minion 'modelo de solução de teste de Puget' Model e Run '. Bugs podem ser esperados. No entanto, nos esforçamos para corrigir os bugs imediatamente depois de terem sido relatados. O que há de novo nesta versão: Os seguintes bugs, que poderiam ter produzido respostas incorretas, foram corrigidas: · A restrição de 'Pow' foi confundida por domínios que continham '0'. · Usar números inteiros próximos a 2 ^ 32 poderia ocasionalmente produzir resultados incorretos. A restrição de tabela contendo 1 tupla sem variáveis foi considerada falsa, não é verdade. Os seguintes bugs, que não puderam produzir erros incorretos, foram corrigidos: · Arrays contendo nenhuma variáveis caiu em minion. · Muitas restrições caíram quando dadas matrizes de comprimento 0. As restrições de mesa causaram acidentes quando o comprimento de tuplas não é igual ao número de variáveis. As seguintes melhorias foram feitas no Minion, algumas das quais foram em versões anteriores, mas agora estão corretamente documentadas: · Todas as restrições podem agora ser reificadas. · Um método eficiente de calcular o 'ou' de uma lista de restrições foi adicionado. · Implementações eficientes de Alldiff e GCC (restrição global de cardinalidade) foram adicionadas. · Várias outras restrições binárias e unérias foram adicionadas. · Agora há um visualizador rudimentar que mostra (em uma matriz) os domínios / atribuições de variáveis durante a pesquisa. · O sistema de compilação de minion agora usa 'cmake'. · A documentação foi melhorada. Um grande número de outras pequenas melhorias e ajustes foram feitos também, com base em um conjunto de teste automatizado muito maior. Note que o alfaiate não é parte da distribuição padrão do Minion; é liberado separadamente.

Minion. Software Relacionado