/Tests/hu.bme.mit.inf.dslreasoner.run/configs/
../
FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json