- From now on only separators between the root node and other components are added to the model. This improves the runtime. ✔
- The ring inequalites haven't been implemented yet. ❌
- I would prefer to focus on the writing and further testing prior to improve the formulation. If there is enough time left I will try to further improve the runtime.
* May implement that cuts are added even for fractional solutions to strengthen the LP bound. (thursday)
* May implement that cuts are added even for fractional solutions to strengthen the LP bound. (thursday) ❌ (moved to baacklog=)
*
### runtime
* Test the ASP version on the graphs from week 5 to compare them. (saturday)
* Test the (new) implementation on the usual graphs and them from week 5. (saturday)
