bookmark SL Finder Proposes a targeted enumeration procedure for identification of synthetic lethal (SL) genes or reactions using genome-scale metabolic models. SL Finder relies on the solution of a bilevel optimization framework that utilizes flux balance analysis to identify all multi-reaction/gene lethals. The user needs to first specify a parameter n, indicating the order of synthetic lethals. This bilevel formulation then identifies the set of n gene/reaction deletions that minimizes the maximum biomass formation potential of the network. If the minimal value of the maximum biomass is found to be below a pre-specified viability threshold (e.g., one percent of maximum biomass) then the corresponding combination of n gene/reaction deletions forms a SL. All alternative SL gene/reaction sets of size n are successively obtained by excluding the previously identified SLs using integer cuts and resolving the bilevel formulation.