import epackage "YakinduMetamodel" //import viatra "" generate { metamodel = { package yakindu } // constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.xyz } partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/yakinduInstance.xmi"} solver = ViatraSolver scope = { #node = 5 } config = { runtime = 10000, log-level = normal } number = 2 runs = 1 debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug" log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/log.txt" output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models" statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/statistics.csv" }