Additional Graph Operations
Lower Bound LP Draft

Draft of the linear Program for validating the lower bound.
This LP includes simplicity constraints for all segments and is thus not yet feasible for proving correctness of the OCM.