Stelvio | Rund um die Retroanalyse

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

NEU Stelvio Geschwindigkeitsvergleiche vom 26.04.2024
Vergleiche Stelvio / Natch / Euclide

NEU Stelvio 2.10 vom 07.03.2024
Neues “unter der Motorhaube” 2.1
Dokumentation zu Version 2.1
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 (unter Linux und MacOS gibt es im Moment noch kleine Fehler bei der Anzeige, die aber die Funktionalität nicht beeinträchtigen)

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.

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

Vorangehende Versionen:
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)

Stelvio 1.4 vom 22.6.2023
Dokumentation
Programm-Dateien (.zip)

Stelvio 1.31 vom 6.6.2023
(viel!) Neues in Version 1.3
Dokumentation zu Version 1.3
Programm-Dateien (.zip) zu 1.31, Korrektur zu 1.3

Stelvio 1.3 vom 1.6.2023
(viel!) Neues in Version 1.3
Dokumentation zu Version 1.3
Programm-Dateien (.zip)

Stelvio 1.2 vom 9.5.2023
Programm-Dateien (.zip)

Stelvio 1.11 vom 8.3.2023
Neues in Version 1.1 und 1.11
Programm-Dateien (.zip)

Stelvio 1.1 vom 7.3.2023
Neues in Version 1.1
Programm-Dateien (.zip)

Stelvio 1.0 vom 27.1.2023
Dokumentation
Programm-Dateien (.zip)