🛰️ An interactive visual simulator that models internet packet flow across a custom network using max-flow algorithms. It helps analyze routing efficiency using Dinic, Edmonds-Karp, Goldberg-Tarjan , ...

Author (s): Kazuhiko Sakaguchi (initial) Cyril Cohen License: CeCILL-B Free Software License Agreement Compatible Rocq/Coq versions: 8.19 or later Additional dependencies: MathComp ssreflect 2.3.0 or ...