|
|
|
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) |
