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