1 2 3 4 5 6 7
/bin/ /xtend-gen/ /problem.lp /solution.txt /model/cps_fixup.henshin /model/problem.xmi /mdeo-results