@@ -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.
