timingdiagram-alkasm (pypi): Temporal boolean algebra.
Keywords: data-structures