Reto Aschwanden hat die Version 1.5 seine Beweispartie-Prüfprogramms Stelvio veröffentlicht, die wegen meines Urlaubs zwei Tage hier gelegen hat. Ihr könnt sie wie immer von der Stelvio-Seite herunterladen!

Eine Menge Verbesserungen (Beschleunigungen, weniger Speicherbedarf) “unter der Motorhaube” gibt es. Das führt dazu, dass die Beweispartie in 58,5 Zügen in den ersten 51 Zügen in realistischer Zeit geprüft werden kann — danach allerdings “explodiert” der Suchbaum. aber “51 Züge” ist schon ein Wort: Davon hätte man bis vor Kurzem nicht einmal zu träumen gewagt …