Als «or-tools» getaggte Fragen

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 ❸ …

15 python  combinations  z3  constraint-programming  or-tools