Skip to content
Snippets Groups Projects

Changes

Page history
  • New page
  • Templates
    • +AST-Generation in overview authored by rschoene's avatar rschoene
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 3 additions and 1 deletion
    Home.md
    View page @ 11473bc7
    ......@@ -3,4 +3,6 @@ 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
    [Test scenario](Test-scenario) | Scenario for evaluating the ILP generation (correctness and profiling)
    [AST Generation](AST-Generation) | Documentation of the `create-system` method