This project originates in mathematical PhD thesis about metabolic network analysis. It allows to do single- and double-reaction-knockout-simulations on metabolic network models in steady state. It needs an external MILP solver (Gurobi for version 1.0).