diff --git a/README.md b/README.md index 060633c3eb42955a0e3e531ea132514a0f1bc815..50e5c1e083e63d932cedfa3ed07dd5abcdfa7b5d 100644 --- a/README.md +++ b/README.md @@ -6,8 +6,8 @@ Automatische Bewertung von struktureller Induktion auf abstrakten Datentypen Das Programm kann mit .NET oder mit Mono kompiliert werden. ### Komplilieren mit .NET .NET kann auf jedem Betriebssystem installiert werden. Die kompilierte ausführbare Datei funktioniert Plattformunabhängig, solange die entsprechende .NET-Version installiert ist. -1. Installieren Sie [.NET](https://dotnet.microsoft.com/en-us/download/dotnet) Version 6.0 oder höher. -2. Navigieren Sie mit der Konsole in den Ordner der [.csproj](BaumtransformationBewerter/BaumtransformationBewerter.csproj)-Datei +1. Installieren Sie [.NET](https://dotnet.microsoft.com/en-us/download/dotnet) Version 5.0 oder höher. +2. Navigieren Sie mit der Konsole in den Ordner der [.csproj](BewerterStrukturellerInduktion/BewerterStrukturellerInduktion.csproj)-Datei 3. Rufen Sie `dotnet build` auf. Der Kompiler findet automatisch die .csproj-Datei und kompiliert das Projekt entsprechend dieser Konfiguration. ### Kompilieren mit Mono Wenn Sie das Projekt mit Mono kompilieren möchten, gibt es [eine Diskussion @@ -19,9 +19,9 @@ verwendet werden können, um Visual Studio Projekte mit Mono zu kompilieren. ### Zwei Programmeinstiegsmöglichkeiten Es gibt zwei Programmeinstiegsmöglichkeiten für das Programm: -1. [ProgramForHuman](BaumtransformationBewerter/ProgramForHuman.cs) ist die Version des Programms, dessen Benutzerschnittstelle für die menschliche Verwendung optimiert ist. Wenn Sie diese Version kompilieren möchten, ersetzen Sie vor dem Kompilieren in der .csproj-Datei alle Vorkommen von "Yapex" durch "Human". +1. [ProgramForHuman](BewerterStrukturellerInduktion/ProgramForHuman.cs) ist die Version des Programms, dessen Benutzerschnittstelle für die menschliche Verwendung optimiert ist. Wenn Sie diese Version kompilieren möchten, ersetzen Sie vor dem Kompilieren in der .csproj-Datei alle Vorkommen von "Yapex" durch "Human". -2. [ProgramForYapex](BaumtransformationBewerter/ProgramForYapex.cs) ist die Version des Programms, die eine optimale Schnittstelle für Yapex implementiert. +2. [ProgramForYapex](BewerterStrukturellerInduktion/ProgramForYapex.cs) ist die Version des Programms, die eine optimale Schnittstelle für Yapex implementiert. ## Verwendung des Programms Bevor Sie das Programm verwenden, stellen Sie sicher für welche Version Sie das Programm kompiliert haben.