Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik: Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". Zenodo 2022