syndra

Logical deduction tool for analyzing high-level queries about the chemical representations of biological models


Keywords
biology, z3, Kappa, INDRA
License
MIT
Install
pip install syndra

Documentation

syndra

PySB and Kappa and synthesis and verification.