A chemical reaction network compiler for generating large biological circuit models
Biological Stochastic Simulation of Single Cell Reactions and Parameter Estimation.
Python Control Systems Library
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
Slycot: a wrapper for the SLICOT control and systems library
Symbolic algorithms for solving games of infinite duration.
Utilities for abstract syntax trees and parsing with PLY.
Temporal Logic Planning (TuLiP) Toolbox