Gecode. Ambiente para o desenvolvimento de sistemas e aplicativos baseados em restrições
Baixe Agora

Gecode. Classificação e resumo

Gecode. Tag

desenvolvimento desenvolve ambiente de desenvolvimento desenvolvimento de aplicações restrição Desenvolvimento de restrição

Gecode. Descrição

Ambiente para o desenvolvimento de sistemas e aplicativos baseados em restrições GECODE (Ambiente de Desenvolvimento de Restrição Genéricos) é um ambiente aberto, portátil, livre, acessível e eficiente para o desenvolvimento de sistemas e aplicativos baseados em restrições.Gecode apresenta um kernel genérico em cima dos quais módulos, como as restrições inteiras de domínio finito, e assim em são fornecidos. Aqui estão algumas características principais do "GECODE": · Abrir: O GECODE está aberto radicalmente para programação: pode ser facilmente interpanhado a outros sistemas. Apoia a programação de novos propagadores (como implementação de restrições), estratégias de ramificação e mecanismos de pesquisa. Novos domínios variáveis podem ser programados no mesmo nível de eficiência que variáveis de domínio finito e conjunto inteiro que são predefinidos com o GECoDE. · Grátis: o GECode é distribuído sob a licença do MIT e está listado como software livre pelo FSF. Todas as suas partes, incluindo documentação, implementações de restrições globais e exemplos estão disponíveis como código-fonte para download. · Portable: O GECODE é implementado em C ++ que segue cuidadosamente o padrão C ++. Pode ser compilado com modernos compiladores C ++ e é executado em uma ampla gama de máquinas (incluindo máquinas de 64 bits). · Acesso: GECode vem com extensa documentação de referência que permite concentrar-se em diferentes tarefas de programação com o GECODE. No futuro próximo, pretendemos liberar a documentação do tutorial explicando as várias tarefas de programação em mais detalhes. · Eficiente: o GECode oferece desempenho competitivo em relação ao uso de tempo de execução e memória. Uma comparação com alguns outros sistemas está disponível. O que há de novo nesta versão: Núcleo: Correções de bugs: · Adicionado operador de atribuição ausente para alocadores baseados em espaço para estruturas de dados STL. (Menor, graças a Gustavo Gutierrez) Motores de busca: Correções de bugs: · A memória relatada poderia ser às vezes muito baixa (a correção anterior para 3.2.0 não a fixou para a pesquisa e a pesquisa ligada). (menor) Inteiros de domínio finito: Aditivos: · Restrição de sequência adicionada. (Major, contribuído por David Rijsman) Correções de bugs: · A restrição global da cardinalidade (contagem) agora aceita matrizes não classificadas de valores. Anteriormente propagado incorretamente se a matriz não foi classificada. (Menor, graças ao Alberto Delgado) · Bug fixo no propagador ICL_VAL para cardinalidade global. (menor) · Assinatura de visões constantes não honrou a bandeira para evitar o processamento. (menor) Conjuntos de inteiros finitos: Correções de bugs: · Assinatura de visões constantes não honrou o sinalizador para evitar o processamento (não ocorreu na prática). (menor) Driver de linha de comando de script: Aditivos: · Relatar se o mecanismo de pesquisa tiver sido interrompido. (menor) Range e iteradores de valor: Outras alterações: · Teste renomeado para subconjunto ou disjunta dos iteradores de alcance para "comparar". (menor) Exemplo de scripts: Aditivos: · Exemplo de sequenciamento de carro adicionado (problema 1 em CSPLIB). Usa a nova restrição de seqüência. (menor) Gecode / flatzinc: Correções de bugs: · Apoie as anotações de pesquisa com constantes nas matrizes variáveis. (Menor, graças a H? Kan Kjellerstrand) · As restrições set_in e set_in_reif eram buggy quando usadas com variáveis booleanas (que geralmente não são geradas por MZN2FZN para que o problema provavelmente não ocorra na prática). (menor) · A restrição global_cardinality não era completamente compatível com a semântica da minizinc. Isso restringia os valores não mencionados na matriz para ter ocorrências zero, enquanto na minizinc eles são irrestritos. (menor) · Restrições de elementos em posições reificadas produziu um erro na tradução MZN2FZN. (Major, obrigado a H? Kan Kjellerstrand)

Gecode. Software Relacionado