Resultados da pesquisa a pedido "constraint-programming"
recuperar o modelo correspondente no Z3py?
No exemplo de trabalho a seguir, Como recuperar o modelo correspondente?
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...
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 ...
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) ...
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 ...