From: Designing optimal cell factories: integer programming couples elementary mode analysis with regulation
y1−x1= 0
y5a + y5b−2x5≤ 1
−y1 + y10−2x10≥−1
y7a + y7b−2x7≥−1
−y1 + y10−2x10≤ 0
y7a + y7b−2x7≤ 0
y2−x2= 0
y8−x8= 0
y5a + y5b−2x5≥ 0
y11−x11= 0