Heute hat Reto Aschwanden die Version 1.1 seine Beweispartie-Prüfprogramms Stelvio bereitgestellt: Eine Fehlerbehebung, neue Konfigurationsparameter, weitere Beschleunigung des Programms.
Die neue Version könnt ihr natürlich hier von der Stelvio-Seite herunterladen; viel Spaß und Erfolg damit!
Große Dinge werfen ihre Schatten voraus: Reto Aschwanden wird hier in meinem Blog spätestens im Februar sein neues Beweispartien-Prüfprogramm Stelvio vorstellen, hier zum Download bereitstellen. Viel will ich noch nicht verraten, aber es wird nicht nur unter Windows laufen können — und es verspricht, in vielen Fällen schneller als Euclide oder Natch zu sein.
Reto hat eine kleine Vorstellung des Programms (auf Englisch) geschrieben, viel Spaß beim Lesen!
Und hier schon mal ein Screenshot:
