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