17.11.17: Programmname (!) korrigiert … Dank an Bernd Gräfrath für den Hinweis!

Erst vor ein paar Tagen hatte ich auf die Freigabe des ersten Releases von Jacobi hingewiesen, des neuen Prüfprogramms von François Labelle speziell für Märchen-Beweispartien, da hat er schon eine neue Version (V0.2) veröffentlicht, die bekannt gewordene Fehler behebt, aber auch eine teilweise deutliche Beschleunigung des Programms mit sich bringt.

Es lohnt also, die Entwicklung dieses interessanten Programms weiter zu verfolgen!