Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
A chemical reaction network compiler for generating large biological circuit models
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.
Python control systems library
Temporal Logic Planning (TuLiP) Toolbox