Finden aller Kombinationen von freien Polyominoes innerhalb eines bestimmten Bereichs mit einem SAT-Solver (Python)
Ich bin neu in der Welt der SAT-Löser und benötige eine Anleitung zum folgenden Problem. Bedenkt, dass: ❶ Ich habe eine Auswahl von 14 benachbarten Zellen in einem 4 * 4-Raster ❷ Ich habe 5 Polyominoes (A, B, C, D, E) der Größen 4, 2, 5, 2 und 1 ❸ Diese Polyominoes sind frei , dh ihre Form ist...