boundlab.diff.zonosq3.expr

Classes

DiffExpr2	A pair of expressions (x, y) for two-network differential tracking.
DiffExpr3	A triple (x, y, diff) for differential zonotope verification.