Jacobi ist ein neues Computer-Prüfprogramm speziell für Märchen-Beweispartien (aber auch noch eine Menge Anderes) und schließt damit eine echte Marktlücke, denn orthodoxe Beweispartien lassen sich ja bereits sehr gut mit Natch oder Euclide prüfen.
Autor François Labelle hat es vor wenigen Tagen im Internet zur Verfügung gestellt: Das Lösen erfolgt auf dem eigenen Rechner, die Benutzungsschnittstelle hingegen steht im Internet zur Verfügung. Die Benutzungsschnittstelle ist ein wenig gewöhnugnsbedürftig und orientiert sich etwa an Popeye. Besonders hervorzuheben ist der “PG demolition mode”, der aufgrund von Heuristiken zunächst die “gefährlichsten” Abspiele sucht, um so möglichst schnell Nebenlösungen zu finden — gerade während des Kompositionsprozesses besonders praktisch, da zeitsparend.
Jacobi hat wie zu erwarten bereits erfolgreich “zugeschlagen”, so hat das Programm schon in seiner Betatest-Phase einige Märchenberweispartien gekocht, und auch von einem Komponisten habe ich den ersten “Erfolg” beim Kochen einer bereits veröffentlichten Aufgabe mitgeteilt bekommen. Gleichzeitig kann er nun einige Aufgaben, an deren Korrektheit er nicht glauben wollte, mit dem Gütesiegel “C+ (Jacobi)” versehen.
Probiert Jacobi einfach aus — es ist für Komponisten und Preisrichter sicherlich eine unschätzbare Hilfe!