View on GitHub


Answer Set Programming for Systems Biology

Overview | Applications | Installation | Answer Set Programming | Who we are


BioASP is a meta-package to create an powerful environment of Answer Set Programming for Systems Biology. The BioASP applications implement methods for analyzing metabolic, signaling and gene regulatory networks, consistency checking, diagnosis, and repair of biological data and models. They allow for computing predictions and generating hypotheses about required extensions of biological models, as well as designing new experiments and finding intervention strategies to control the biological system at hand. Google+


The BioASP software collection includes the following applications. For more details on each application, please visit the corresponding Application Page. BioASP applications are freely available as python packages under General Public License (GPL) and they can be easily installed on your system. However you may want to try their Web Service before doing so (example input data is provided in-place).

Metabolic network completion: meneco

This application can be used to check if a draft metabolic network provides the synthesis routes to comply with certain functionality. If this fails, meneco can automatically complete the network using reactions from a reference network stemming from other organisms until the observed functionality is provided.

Application Page | Web Service | Citation

Reasoning on the response of logical signaling networks: caspo

The aim of this application is to implement a pipeline for automated reasoning on logical signaling networks. Features provided by caspo include, learning of logical networks from experiments, design new experiments in order to reduce the uncertainty, and finding intervention strategies to control the biological system.

Application Page | Web Service | Citation

Sign consistency on influence graphs: ingranalyze

This application confronts biological networks given as Interaction Graphs with experimental data given as signs that represent the concentration changes between two measurements. It allows to decover inconsistencies in data or network, proposes minimal repairs and predicts the behavior of unmeasured species.

Application Page | Web Service | Citation

Identification of functional gene units: shogen

This application combines gene sequence information and metabolic reaction network into one model. Together with data about metabolites involved in a chemical pathway, the Shortest Gene Segments (SGS) are proposed which activate the metabolic reactions of such a pathway.

Application Page | Web Service | Citation

Compute minimal metabolic precursors: precursor

Given a metabolic reaction network and a set of target metabolites, this application computes the subset minimal sets of precursor metabolites needed to produce the targets.

Application Page | Web Service


You can install all BioASP application at once from pypi by running:

$ pip install bioasp

For details on how to use each application follow the corresponding links above. If you do not have pip installed on your system, you only need to download Then run the following:

$ python

Alternatively, if you prefer not to install pip, you can download the sources of BioASP and after unpacking run:

$ python install

Note that you may need either administrator access or a virtual environment.

Answer Set Programming

BioASP applications strongly rely on Answer Set Programming (ASP) for knowledge representation and reasoning. ASP is a declarative problem solving paradigm from the field of Logic Programming combining several computer science areas such as Knowledge Representation and Reasoning, Artificial Intelligence, Constraint Satisfaction and Combinatorial Optimization.

For more details on ASP and state-of-the-art available tools, you may want to check the website of Potassco, the Potsdam Answer Set Solving Collection.

Who we are

BioASP is developed by several people at several institutions from several countries:

If you would like to contribute in any way, your are welcome to join us at