# generated by Xtext 2.21.0

pluginName = org.eclipse.viatra.solver.language
providerName = My Company