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