Reasoning on the response of logical signaling networks with Answer Set Programming
Metabolic Network Completion. Compute minimal completions to your draft network with reactions from a repair network.
Compute minimal metabolic precursors sets that enable the production of target metabolites.
Design experiments to differentiate interaction graph models.
A tool for consistency based analysis of influence graphs and observed systems behavior.
A convenience wrapper for the ASP tools gringo, gringo4 and clasp.
Influence graph analysis, consistency check, diagnosis, repair and prediction.
A graphical user interface for meneco.
A module finder.
Finding shortest genome segments that regulate metabolic pathways.
Finding shortest genome segments that regulate metabolic pathways