Perguntas com a marcação «constraint-programming»

Resolvendo “Quem é o dono da Zebra” programaticamente?

Editar: este quebra-cabeça também é conhecido como "Enigma de Einstein" O Who é dono da Zebra (você pode experimentar a versão online aqui ) é um exemplo de um conjunto clássico de quebra-cabeças e aposto que a maioria das pessoas no Stack Overflow pode resolvê-lo com papel e caneta. Mas como...

Localizando todas as combinações de poliomatos livres dentro de uma área específica com um SAT-solver (Python)

Eu sou novo no mundo dos solucionadores de SAT e precisaria de algumas orientações sobre o seguinte problema. Considerando que: ❶ Eu tenho uma seleção de 14 células adjacentes em uma grade 4 * 4 Have Eu tenho 5 poliaminos (A, B, C, D, E) dos tamanhos 4, 2, 5, 2 e 1 Poly esses poliaminoinos são...