Wie schrieb Reto Aschwanden doch so schön zu seiner neuen Stelvio Version 4.2?
“Ein paar Verbesserungen da und dort, neben einem hässlichen Bug weniger…”

Der Fehler trat gelegentlich bei der Parallelisierung auf, und die Verbesserungen resultieren aus den noch tieferen Strategie-Analysen, die Reto im Zusammenhang mit der Prüfung der 57,5 Züge langen Beweispartie eingeführt hat.

Mehr Details gibt es natürlich in der Dokumentation, die wie immer lesenswert ist!