Der Frühling bringt für das Beweispartien-Prüfprogramm Stelvio eine neue Version: V2.1 bringt einige Fehlerbehebungen sowie zusätzliche und verbesserte Analyse-Strategien, die Reto Aschwanden frisch implementiert hat.

Wie immer könnt ihr auch die Version 2.1 von Stelvio hier auf dieser Seite herunterladen. Und ein kleiner Hinweis von mir: Auch für Stelvio lohnt es, einen Blick in die Dokumentation zu werfen…