Übersicht: KI-Lösungsprogramme in Python

Hier finden Sie alle systematischen Übersichten.

Nie war Programmieren so einfach wie mit Hilfe einer KI. Deshalb gibt es neue Lösungsprogramme für einzelne Geduldspiele oder für kleine Gruppen ähnlicher Geduldspiele. Die Programme unten wurden von Google Gemini in der Programmiersprache Python erstellt. Viele davon benutzen den SMT-Solver Z3, entwickelt von Microsoft Research. Um die Programme zu nutzen, müssen Sie die Programmiersprache Python installiert haben. Z3 installieren Sie mit dem Kommandozeilenaufruf

    pip install z3-solver

Ein solches Python-Programm (z.B. meinpuzzle.py) starten Sie auf der Kommandozeile mit

    python meinpuzzle.py

Mehr ist nicht zu tun. 

Die folgende Übersicht listet die bisher erschienen Programme auf und wird laufend ergänzt.

Zur Einführung

• Programmieren von Puzzlesolvern mit KI in Python: Eine Einführung.
• 12 Pentominos in ein 6x10 mit Gemini programmieren: Ein ausführliches Praxisbeispiel. Das dazugehörige Programm finden Sie in der untenstehenden Tabelle. 

Hier die Übersicht über die bisher verfügbaren Programme. Die Liste wird ständig erweitert.

Geduldspiel	Programm	Beschreibung
Pentomins in 6x10	download Solver	Das einfachste Programm als Einführung: Es packt die 12 Pentominos in einen Rahmen der Größe 6x10.
Golf Putting Green	download Solver	Sucht alle Lösungen von Golf Putting Green mit Z3 mit den gegebenen Brettchen. Findet zwei Lösungen. Die Form der Brettchen ist frei konfigurierbar, um andere Varianten zu testen.
Golf Putting Green	download Generator	Zehn verschiedene Brettchen sind bei Golf Putting Green möglich. Das Programm testet alle Varianten mit sechs verschiedenen Brettchen aus dieser Menge.
Geduldwürfel	download Solver	Eine größere Variante von Golf Putting Green mit vier Etagen und allgemeinerer Form der Brettchen. Die Form der Brettchen ist frei konfigurierbar.
Loch über Loch	download Solver	Ein Stapelpuzzle mit 10 Brettchen mit maximal fünf Löchern, gestapelt in zwei Etagen. Die Form der Brettchen ist frei konfigurierbar.
Loch über Loch	download Generator	Demnächst.
Happy Cubes	download Solver	Demnächst: Lösungsprogramm für Happy Cubes. Viele Happy Cubes sind vorprogrammiert, weitere lassen sich einfach hinzufügen.
Bob-Be-le	download Solver	Demnächst: Sucht alle Lösungen von Bob-be-le mit Z3 mit den gegebenen Steinen. Findet die einzige Lösung. Die Form der Steine ist frei konfigurierbar, um andere Varianten zu testen.
Steckspiel	download Solver	Demnächst: Stapelpuzzle mit 8 Brettchen der Länge 4 mit Löchern und Stiften in zwei Etagen.
weitere Geduldspiele	demnächst