Home.md

 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
+