🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP - View it on GitHub