#

pluginName = org.eclipse.viatra.solver.language.model
providerName = www.example.org