Resultados da pesquisa a pedido "constraint-programming"
recuperar o modelo correspondente no Z3py?
No exemplo de trabalho a seguir, Como recuperar o modelo correspondente?
Recursão: como evitar o conjunto de Python alterado no conjunto durante a iteração RuntimeError
Histórico e Descrição do Problema:Eu tenho algum código que resolve o problema de coloração do gráfico (definido em geral como o problema de atribuir "cores" a um gráfico não direcionado, certificando-se de que não haja dois vértices conectados ...
Abordagem Multi-Sudoku AI
Estou conceituando um solucionador para uma variante desudoku chamadomulti-sudoku, onde várias placas se sobrepõem da seguinte maneira: Se eu entendi o jogo corretamente, você deve resolver cada grade de forma que a sobreposição entre duas ou ...
Como usar a programação de restrições para otimizar cestas de compras?
Eu tenho uma lista de itens que quero comprar. Os itens são oferecidos por diferentes lojas e preços diferentes. As lojas têm custos de entrega individuais. Estou procurando uma estratégia de compras ideal (e uma biblioteca java que a suporte) ...
Intérprete / Compilador Prolog Incorporado para Java
Estou trabalhando em um aplicativo em Java, que precisa fazer algumas deduções de regras lógicas complexas como parte de sua funcionalidade. Eu gostaria de c...