Optknock: a bilevel programming framework for identifying gene knockout strategies for microbial strain optimization. OptKnock suggests gene deletion strategies leading to the overproduction of a pre-specified metabolite using the provided metabolic model. A nested optimization framework identifies the gene deletions by coupling the production of the desired product with biomass formation.