Stelvio | Rund um die Retroanalyse

Dies ist die Seite zum Download des Beweispartie-Prüfprogramms Stelvio von Reto Aschwanden.

NEU Stelvio 4.2 vom 03.11.2025
Neues in Version 4.2
Dokumentation
Programm-Dateien (.zip)

Zwei Besonderheiten des Programms:

Bei verschiedenen Beweispartien deutlich schneller als die traditionellen Programme Natch und Euclide.
Läuft nicht nur unter Windows, sondern auch unter Linux und MacOS (das Linux Shellscript kann auch unter MacOS verwendet werden).

Zur Installation ladet bitte die .zip-Datei herunter; folgt dann den Anweisungen in der (z.Zt. nur englisch-sprachigen) Dokumentation. Das ist alles recht einfach, achtet jedoch darauf, dass ihr die aktuelle Java-Version benötigt. Folgt auch zu deren Installation der Beschreibung; das ist eigentlich mit drei Klicks erledigt! Linux- und MacOS-Nutzer: Ihr braucht möglicherweise das JDK 17.

Zur Optimierung der Programmgeschwindigkeit von Stelvio nutzt Reto den Java profiler JProfile.

Stelvio Geschwindigkeitsvergleiche vom 26.04.2024
Vergleiche Stelvio / Natch / Euclide

Vorangehende Versionen:

Stelvio 4.1 vom 29.07.2025
Neues in Version 4.1
Dokumentation
Programm-Dateien (.zip)

Stelvio 4.0 vom 07.06.2025
Neues in Version 4.0
Dokumentation
Programm-Dateien (.zip)

Stelvio 3.1 vom 14.01.2024
Neues “unter der Motorhaube” 3.0
Dokumentation
Programm-Dateien (.zip)

Stelvio 3.00 vom 21.10.2024
Neues “unter der Motorhaube” 3.0
Dokumentation zu Version 3.0
Programm-Dateien (.zip)

Vorangehende Versionen:
Stelvio 2.50 vom 23.06.2024
Neues “unter der Motorhaube” 2.5
Dokumentation zu Version 2.5
Programm-Dateien (.zip)

Vorangehende Versionen:
Stelvio 2.10 vom 07.03.2024
Neues “unter der Motorhaube” 2.1
Dokumentation zu Version 2.1
Programm-Dateien (.zip)

Stelvio 2.0 vom 21.12.2023
(viel!) Neues “unter der Motorhaube” 2.0
Dokumentation zu Version 2.0
Programm-Dateien (.zip)

Stelvio 1.6 vom 4.9.2023
(viel!) Neues an der Oberfläche 1.6
Dokumentation zu Version 1.6
Programm-Dateien (.zip)

Stelvio 1.5 vom 8.8.2023
(viel!) Neues “unter der Motorhaube” 1.5
Programm-Dateien (.zip)