/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/

• ../
• .classpath
• .gitignore
• .project
• .settings
• META-INF
• about.html
• build.properties
• src