GitLab update scheduled for Friday, June 9th between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.
|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|
|[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|