The artifacts of the paper SMT-Based Planning Synthesis for DistributedSystem Reconfigurations has been accepted at the FASE 2022 artifacts evaluation for two badges: availability and reproducibility