syndra (pypi): Logical deduction tool for analyzing high-level queries about the chemical representations of biological models
Keywords: biology|z3|Kappa|INDRA