Teddy 1.8.1

Vor knapp drei Jahren hatte ich hier über zwei unterschiedliche Programme berichtet – und heute können sie zusammenarbeiten!

Die ursprüngliche Popeye-Grafikoberfläche Teddy kann seit einiger Zeit auch als Benutzungsschnittstelle für (Jacobi und) das Beweispartie-Prüfprogramm Natch dienen. Dabei können die Natch Parameter konsistent mit der Teddy Oberfläche eingegeben, die Stellung dann durch Klicken ins Diagramm oder Eingabe der FEN Notation geändert werden. Für letzteres muss das Eingabefeld für FEN zunächst über das „Einstellungen“ Menü aktiviert werden. Dann aber ändern Eingaben im Diagramm oder im FEN-Feld synchron die Anzeigen im jeweils anderen Feld -– sehr komfortabel!

Übrigens finde ich das Eingabediagramm auch sehr praktisch z.B. zum Nachspielen vom Märchen-Beweispartien, was mit vielen Programmen nicht möglich ist, da dort die „orthodoxe Legalität“ von Zügen überprüft wird, die beispielsweise das Spielen einer Circe-Beweispartie ausschließt. Die Partieanfangsstellung kann man einfach mit Klick auf den mit drei schwarzen und weißen Bauern markierten Knopf aufbauen; klasse!

Probiert Teddy doch einfach mal aus – mir gefällt es sehr gut, ich finde es extrem nützlich. Vielleicht lernt das Programm ja auch bald noch, mit Euclide umzugehen?!

Natch 3.1

Die Optimierungen, die Pascal Wassong in sein Beweispartie-Prüfprogramm Natch in der “Dreier-Version” eingebaut hatte, haben bei einigen Spezialfällen dazu geführt, dass nicht alle Lösungen gefunden wurden. Erste Korrekturen hatte Pascal schon nachgereicht, nun ist die Version 3.1 erschienen, die einen besonders kniffligen Fehler behebt.

Diese Version kann wieder kostenlos von der Natch Homepage heruntergeladen werden; er stehen fertige Pakete für Windows (64 und 32 Bit) sowie die kompletten Programmquellen zur Verfügung.

Fehler in Natch

Die neueste Version des Beweispartie-Prüfprogramms Natch (Version 3.0Beta1) enthält offensichtlich einen Fehler, der dafür sorgt, dass eventuell nicht alle Lösungen gefunden werden. Pascal Wassong, der Autor, ist dabei, ihn zu untersuchen und dann zu beheben.

Wenn eine fehlerbereinigte Version, die dann auch die längere Original-Beweispartie aus dem aktuellen Problemist lösen kann, erschienen ist, werde ich euch darüber informieren.

Natch Bugfix

Pascal Wassong hat eine fehlerbereinigte Version seines Beweispartie-Prüfprogramms Natch veröffentlicht, nun in der Version 3.0.beta1.

Die Installation ist ganz einfach: Nur die von der Natch-Seite heruntergeladene Zip-Datei (für Windows 64 oder Windows 32) in ein eigenes Verzeichnis entpacken — fertig! Dort findet ihr dann auch die Datei NEWS, die über die Änderungen informiert.

Natch und Teddy

Gerade sind zwei interessante, aber auch völlig verschiedene Schachprogramme sind in einer neuen Version erschienen:

Natch ist ein Prüfprogramm von Pascal Wassong für orthodoxe Beweispartien. Der Quelltext ist offen, sodass es z.B. für Linux einfach nutzbar ist; für (64bit) Windows liegt es als bereits übersetztes, sofort ausführbares Programm vor. Es läuft unter Windows im Command-Fenster; “natch -h” zeigt alle möglichen Parameter zur Steuerung des Programms an, ebenso gibt es natürlich Informationen auf der Natch Web-Site.
Die neue Version 3.0beta behebt einige Fehler aus 2.50beta und beschleunigt den Lösevorgang dadurch, dass bestimmte zeitliche Abhängigkeiten im Lösungsverlauf erkannt werden, wodurch der Suchbaum eingeschränkt wird. Auf alle Fälle ausprobieren!!

Teddy ist kein eigenes Löseprogramm, sondern eine graphische Oberfläche für Popeye, das Löseprogramm für orthodoxe und sehr viele Märchenaufgaben (Märchensteine, Märchenbedingungen). Auch dieses Programm, das von Bjørn Enemark stammt, ist frei verfügbar und ebenso wie Natch kostenlos nutzbar.
Bjørn verbessert und erweitert Teddy sehr häufig, sodass für Interessenten und Nutzer ein gelegentlicher Blick auf die Teddy Homepage lohnt. Auch Teddy kann ich euch persönlich, vor allen Dingen ab Version 1.3 (aktuell ist nun Version 1.5) nur empfehlen!

Problem mit Euclide

Ziemlich überraschend sind Bernd Gräfrath und Silvio Baier auf ein Problem mit dem Prüfprogramm für Beweispartien Euclide gestoßen: Für eine Beweispartie findet Euclide keine Lösung, obgleich eine existiert, die auch von Natch gefunden wird.

Bernd stellt in einem Beitrag, den ihr hier herunterladen könnt, die Aufgabe vor — sie ist nicht nur wegen dieses Fehlers sehenswert!

Übrigens findet Euclide bei den angegebenen Vergleichsaufgaben die Lösungen. Ich persönlich vermute, dass eine Optimierung zu “scharf” geschaltet ist. Über die weitere Entwicklung werde ich jedenfalls gern berichten.