GitHub repository: potassco/mapf-subgraph-system
Primary language: C++
Description: 🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP