Skip to content

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
-- | --
[Formalization thoughts](Formalization thoughts) | Thoughts about the formal specification of the problem
[ILP Generation](ILP-Generation) | Sketch on how to generate the ILP
[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)
[AST Generation](AST-Generation) | Documentation of the `create-system` method
[Current Propblems](Current Problems) | Currently faced problems (and maybe possible solutions)
| Page | Description |
| ---- | ---- |
| [Formalization thoughts](Formalization thoughts) | Thoughts about the formal specification of the problem |
| [ILP Generation](ILP-Generation) | Sketch on how to generate the ILP |
| [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) |
| [AST Generation](AST-Generation) | Documentation of the `create-system` method |
| [Current Propblems](Current Problems) | Currently faced problems (and maybe possible solutions) |
[Getting started](Getting started)