/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/
../
.classpath
.gitignore
.project
.settings
META-INF
about.html
build.properties
src