Solving discrete network design problem using disjunctive constraints | Synapse