Am 18. Februar hatte ich hier über die Fehler in Euclide 0.99 berichtet, die Bernd Gräfrath und Silvio Baier entdeckt hatten.

Heute hat nun Étienne Dupuis die Version 1.00 von Euclide freigegeben, die diese Probleme behebt. Ihr könnt die neue Version von Euclide’s Homepage herunterladen.

Übrigens lässt sich die Frage, was den eigentlich “Co+” bedeutet, nicht nur auf mögliche Fehler bei Euclide reduzieren: So ist die neueste Popeye-Version im Wesentlichen ein Bugfix-Release — aber noch spannender finde ich die Frage der Interpretation von Märchenschach-Bedingungen, speziell deren Verknüpfung. Und hier interpretieren die drei “Marktführer” (in alphabetischer Reihenfolge) Alybadix, Popeye und WinChloe Bedingungen häufig unterschiedlich und kommen damit zu unterschiedlichen Prüfergebnissen (was für den einen korrekt ist, ist für den anderen vielleicht unlösbar oder nebenlösig).

Eigentlich reicht also eine Angabe “Co+” nicht aus; sie benötigt die Zusatzinformation, mit welchem Programm in welcher Version getestet wurde, um aussagekräftig zu sein.