Stable state search

This tool provides the analytic (i.e. without running a simulation) determination of stable states of the model. All stable states are determined, regardless of their reachability, using the algorithm described in Naldi2007.

The following command shows the stable states for a model:

java -jar bioLQM.jar model.sbml -r stable

The output is a list of stabe state patterns: some components do not have an assigned value, meaning that all states states matching the pattern are stable.