import sys
sys.path.append("../modelverse/wrappers")
from modelverse import *

init()
login("admin", "admin")

model_add("formalisms/FSA/metamodel", "formalisms/SimpleClassDiagrams", open("models/FSA_MM.mvc", 'r').read())
transformation_add_AL({"FSA": "formalisms/FSA/metamodel"}, {}, "formalisms/FSA/simulate", open("models/FSA_simulate.alc", 'r').read())