Skip to content
Snippets Groups Projects

Changes

Page history
  • New page
  • Templates
    • Added getting started guide. authored by René Schöne's avatar René Schöne 
    - also fixed tables for gitlab
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 9 additions and 8 deletions
    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)