A computational approach to extinction events in chemical reaction networks with discrete state spaces.

•Recent results give conditions for extinction events in reaction networks with discrete state spaces.•The conditions consist of generating a series of systems of inequalities then checking their feasibility.•We present a computational implementation of these conditions written in Python.•We run the program on 458 models from the BioModels database and present our findings.