Resultados da pesquisa a pedido "constraint-programming"
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...
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) ...