Minion. solucionador de restrição rápida e escalável
Baixe Agora

Minion. Classificação e resumo

Minion. Tag

resolver solucionador restrição Restrição Solver Resolva restrição solução contraint

Minion. Descrição

Solucionador de restrição rápida e escalável 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, que deliberadamente vem com Muito poucas opções. Isso, combinado com sua velocidade bruta, torna o Minion um passo substancial em relação ao paradigma de resolução de restrições do modelo de Puget. Nota: O Minion ainda está no estágio beta de desenvolvimento. Bugs podem ser esperados. O que há de novo nesta versão: Melhorias: · O código foi limpo e modularizado para ser mais facilmente compreensível e modificável · Mais informações são disponibilizadas no modo de informação · Algumas pequenas correções Aprimoramentos de desempenho: · Verificações ligadas para variáveis booleanas são mais eficientes · Os arquivos de entrada são analisados mais rapidamente Outras alterações: · O sistema de compilação agora fornece alvos para executar os testes · As construções não são feitas no directry principal mais, mas em um diretório separado (o que significa que você pode ter tantas compilações diferentes da mesma fonte quanto quiser) · Melhor apoio de Cygwin

Minion. Software Relacionado