The authors of Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search have not publicly listed the code yet.

Request code directly from the authors: Ask Authors for Code

Get an expert to implement this paper: Request Implementation

(OR if you have code to share with the community, please add it here 😊🙏 )