tyrrellgit/tmflow

tmflow is a Rust library for ODE flow propagation: users define a vector field once, then call the propagation driver with an initial box and a chosen integrator. The main result is a trajectory with bounding boxes and measures; the verified backend encloses reachable sets, while RK4 provides a non-rigorous point reference. The graph reflects the documented Taylor-model stages and sampled implementations. The driver and Integrator trait source were not sampled, so their internal details are limited to documented behavior.