# Software

**PyASP**
- A python library that is a convenience wrapper for the ASP tools gringo, gringo4 and clasp
**Meneco**
- A tool for the completion of metabolic networks
**Iggy**
- A tool for consistency based analysis of influence graphs models and observed system changes
**Ingranalyze**
- The precursor of Iggy. Allow to compute the minimal inconsistent core (MIC) of an influence graph model
**Precursor**
- A tool to compute minimal sets of precursor metabolites needed to produce the targets metabolites
**Shogen**
- Combine gene sequence information and metabolic reaction network to compute the Shortest Gene Segments (SGS) which activate a metabolic pathway
**Hasple**
- An experimental answer set solver in Haskell

#### Older projects that are now part of Potassco