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.

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht.