lifelong-mapf
Real-Time LaCAM: incremental MAPF solver with completeness guarantees. Zig core and Python bindings.