CytoASP | BioQuali | |
---|---|---|
Execution Model | Local | Remote (Web Service) |
Reasoning Engine | ASP solvers (through ingranalyze & BioASP) | Decision Diagrams |
Parallel Processing | Yes, multiple networks may be analysed simultaneously using all available CPU cores | No |
Visualisation Options | Custom, user can select colors for visualisation | Fixed, colors are pre-selected |
Repair Options | i) Flip observations, ii) Flip influences, iii) Define nodes as input, iv) Add influences | Neutralise influences |
Repair Visualisation | Common repairs are visualised for all four repair modes | Neutralised influences |
Repair Sets | Yes, all minimal repair sets for nodes / edges are calculated | No |
Minimal Inconsistent Cores | Yes | No |