ddlyrabbit / reloc Goto Github PK
View Code? Open in Web Editor NEWThis project forked from surynek/reloc
An experimental package for solving various versions of multi-agent path finding problem (MAPF). Most of solvers in the package are based on the reduction to propositional satisfiability (SAT).