Gecode. Um ambiente portátil, acessível e eficiente para o desenvolvimento de sistemas e aplicativos baseados em restrições.
Baixe Agora

Gecode. Classificação e resumo

Gecode. Tag

desenvolvimento ambiente de desenvolvimento ambiente sistemas baseados em restrição Aplicativos baseados em restrição Gecode.

Gecode. Descrição

Um ambiente portátil, acessível e eficiente para o desenvolvimento de sistemas e aplicativos baseados em restrições. O GECODE é um ambiente acessível, portátil e eficiente para o desenvolvimento de sistemas e aplicativos baseados em restrições.Gecodo é radicalmente aberto para programação, o que significa que ele pode ser facilmente interfaceçado 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.Nova os domínios variáveis podem ser programados no mesmo nível de eficiência como variáveis de domínio finito e conjunto de inteiros que são predefinidos com o GECoDE. Aqui estão algumas características principais do "GECODE": Núcleo: · O kernel do Gecode fornece uma interface de programação abrangente para construir novos domínios variáveis (incluindo propagadores como implementações de restrições e ramificações) e mecanismos de pesquisa. É Slim (cerca de 1000 linhas de código) e não requer modificação ou hacking para adicionar novos domínios variáveis ou mecanismos de pesquisa. Procurar: · A pesquisa no GECode é baseada em recomputação e cópia. As técnicas avançadas incluem adaptativas (aceleradas mais pesquisas) e recompulação em lote (reduz drasticamente a propagação durante a recomputação). Atualmente, o GECode suporta pesquisa por algumas soluções, otimização (ramificação e vinculada) e pesquisa de discrepância limitada (mais detalhes). A pesquisa paralela baseada em rosca está atualmente em desenvolvimento. Restrições de domínio finitas: · O GECODE vem com restrições de domínio finitas implementadas no topo do kernel genérico. Oferece restrições padrão como aritmética, equações booleanas, lineares e restrições globais, tais como: distinta (alldiferente, ambos os limites e domínio consistente), cardinalidade global (limites e domínio consistente), elemento, cumulativos, regular, classificação e lex . É simples adicionar novas restrições e ramificações (em particular como o código-fonte completo com as restrições acima como exemplos estiver disponível). Construções definidas finitas: · O GECODE também fornece variáveis de conjunto de inteiros finitos. As relações e operações de conjunto padrão estão disponíveis como restrições, além de algumas restrições especializadas, como convexidade, raciocínio global para distinção de conjuntos, restrições de seleção, conjuntos ponderados e restrições que conectam variáveis finitas de domínio e variáveis finitas. Quanto às restrições de domínio finitas, a biblioteca pode ser facilmente estendida com novas restrições e ramificações. Suporte básico de modelagem: · Mesmo que o GECODE tenha sido projetado para ser fácil de interface e não ser fácil de modelar, ele vem com algum suporte básico de modelagem. Isso suporta expressar restrições lineares e booleas na maneira padrão, uma vez que as expressões constroem de números e operadores. O que há de novo nesta versão: · Esta versão adiciona a restrição de sequência (contribuída pela David Rijsman, Quintiq) e tem sempre algumas pequenas adições e correções. · 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 pode ser por vezes muito baixa (a correção anterior para 3.2.0 não a corrigiu para a pesquisa e a pesquisa ligada). (menor) · Inteiros de domínio finito · Aditivos · + Adicionado restrição de sequência. (Major, contribuído por David Rijsman) · Correções de bugs · + A restrição do Global Cardinality (Contagem) agora aceita matrizes não matizadas 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 o sinalizador 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 · + Relatório se o mecanismo de pesquisa tiver sido interrompido. (menor) · Iteradores de intervalo e valor · Outras alterações · + Teste renomeado para subconjunto ou disjunta dos iteradores de alcance para "comparar". (menor) · Exemplo de scripts. · Aditivos · + Adicionado exemplo de sequenciamento de carros (problema 1 em CSPLIB). Usa a nova restrição de seqüência. (menor) · Gecode / Flatzinc · Correções de bugs · + Apoie 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 foram buggy quando usado 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_cardinalidade não foi 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 elemento em posições reificadas produziu um erro na tradução MZN2FZN. (Major, obrigado a H? Kan Kjellerstrand)

Gecode. Software Relacionado