Changes

Page history
Added getting started guide. authored by René Schöne's avatar René Schöne 
- also fixed tables for gitlab
Show whitespace changes
Inline Side-by-side
Home.md
View page @ b2963322
Page | Description | Page | Description |
-- | -- | ---- | ---- |
[Formalization thoughts](Formalization thoughts) | Thoughts about the formal specification of the problem | [Formalization thoughts](Formalization thoughts) | Thoughts about the formal specification of the problem |
[ILP Generation](ILP-Generation) | Sketch on how to generate the ILP | [ILP Generation](ILP-Generation) | Sketch on how to generate the ILP |
[Thoughts on constraints](Thoughts on constraints) | Thoughts on constraints and their generation | [Thoughts on constraints](Thoughts on constraints) | Thoughts on constraints and their generation |
[Test scenario](Test-scenario) | Scenario for evaluating the ILP generation (correctness and profiling) | [Test scenario](Test-scenario) | Scenario for evaluating the ILP generation (correctness and profiling) |
[AST Generation](AST-Generation) | Documentation of the `create-system` method | [AST Generation](AST-Generation) | Documentation of the `create-system` method |
[Current Propblems](Current Problems) | Currently faced problems (and maybe possible solutions) | [Current Propblems](Current Problems) | Currently faced problems (and maybe possible solutions) |
[Getting started](Getting started)