Reto Aschwanden hat die Version 1.6 seine Beweispartie-Prüfprogramms Stelvio veröffentlicht. Ihr könnt sie wie immer von der Stelvio-Seite herunterladen!

Dieses Mal liegt der Schwerpunkt auf zusätzlicher Information für den Prüfer Reto schreibt dazu: “Hauptsächliche Neuigkeit ist die Visualisierung der Strategie-Suche, damit man eine Ahnung bekommt, ob man noch 10 Jahre oder nur noch 10 Sekunden warten muss, bis alle Strategien gefunden wurden.”

Hier könnt ihr schon mal einen Screenshot dazu sehen:

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 …