Added new edge constraint formulation with > 50% fewer constraints.
Refactored lp interface.