Golf Putting Green, mit SMT-Solver gelöst

Zur Erinnerung: Bei Golf Putting Green sollen die folgenden 6 Brettchen zu einem 3x3-Stapel der Höhe 2 gestapelt werden.  Dabei ...

  • Das verflixte Schildkröten-Spiel
    Kategorie:   Quadratische 3x3-Legespiele Vier freundliche Schildkröten in einem Anlegespiel: Die halbierten Bilder finden sich in orientie...
  • Teufelsknoten (Haba)
    Der Teufelsknoten von Haba ist ein klassischer Teufelsknoten, bestehend aus sechs verschiedenen Stäben, darunter der Schlüsselstein oh...