/Application/org.eclipse.viatra.solver.language.tests/src/org/eclipse/

• ../
• viatra