3
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, …