Geduldwürfel, mit SMT-Solver gelöst

Wegen der großen Ähnlichkeit des Geduldwürfels zu Golf Putting Greene lässt sich das vorhandene Lösungsprogramm von Golf Putting Greene einfach übertragen. Da Gemini das vorhandene Programm bereits erzeugt hat, nennen die nur gewünschten Änderungsvorschläge und Gemini erzeugt das neue Programm:

• Der Stapel hat jetzt die Höhe 4 statt 2, gestapelt wird also mit 12 Brettchen statt 6.
• Die Notation für die Brettchen können wir im Prinzip übernehmen, aber es gibt kleine Änderungen:
• Es gibt bis zur Hälfte gebohrte Löcher, die ebenfalls groß genug sind, eine Halbkugel aufzunehmen. 
• Oberseite und Unterseite sind unabhängig voneinander, beispielsweise kann ein Brettchen jetzt oben ein bis zur Hälfte gebohrte Loch haben, und unten glatt sein oder eine Halbkugel tragen.

Das folgende Programm enthält ganz unten wieder die Beschreibung der 12 Brettchen und kann bei Bedarf angepasst werden.

📥 Solver herunterladen

 Das Programm findet 11 Lösungen, hier die erste davon:

    

==================== LÖSUNG 1 ====================

--- SCHICHT 1 (Unterste Schicht) ---

 * Ausrichtung: Waagerecht. Lesen von Oben nach Unten.

 Zeile 0 : Brettchen #05 -> [(-1, -1), (0, 1), (1, 0)]

 Zeile 1 : Brettchen #06 -> [(-1, -1), (0, 1), (1, 0)]

 Zeile 2 : Brettchen #07 -> [(0, 1), (1, 0), (-1, -1)]

--- SCHICHT 2 (Mitte Unten) ---

 * Ausrichtung: Senkrecht, liegt AUF Schicht 1. Lesen von Links nach Rechts.

 Spalte 0: Brettchen #00 -> [(-1, 0), (0, 1), (-1, 0)]

 Spalte 1: Brettchen #01 -> [(1, 0), (-1, -1), (0, -1)]

 Spalte 2: Brettchen #03 -> [(-1, -1), (-1, -1), (0, 1)]

--- SCHICHT 3 (Mitte Oben) ---

 * Ausrichtung: Waagerecht, liegt AUF Schicht 2. Lesen von Oben nach Unten.

 Zeile 0 : Brettchen #08 -> [(0, 1), (-1, -1), (0, 1)]

 Zeile 1 : Brettchen #11 -> [(1, 0), (0, 1), (0, 1)]

 Zeile 2 : Brettchen #09 -> [(0, 1), (-1, -1), (1, 0)]

--- SCHICHT 4 (Oberste Schicht) ---

 * Ausrichtung: Senkrecht, liegt AUF Schicht 3. Lesen von Links nach Rechts.

 Spalte 0: Brettchen #02 -> [(0, -1), (-1, -1), (1, 0)]

 Spalte 1: Brettchen #10 -> [(0, 1), (1, 0), (0, 1)]

 Spalte 2: Brettchen #04 -> [(1, 0), (-1, -1), (-1, -1)]