A technique for verifying and reprovisioning an interconnect fabric design using integer programming techniques. Requirements for the interconnect fabric design to be reprovisioned may be referred to as flow requirements. The flow requirements may include, for example, source and terminal nodes for communication flows and communication bandwidth required for the flows. An existing interconnect fabric design specifies an arrangement of elements of the fabric, such as links and interconnect devices. The invention programmatically verifies whether the existing design satisfies the flow requirements using integer programming techniques. If the existing design does not satisfy the flow requirements, the invention may also be used to reprovision the existing design to satisfy the flow requirements. If any flow(s) cannot be accommodated by the existing design, the integer programming techniques may also be used to identify links that can be added to accommodate the flow(s) Further, a new portion of interconnect fabric may be designed and added to the existing design to accommodate unassigned flows.