/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/
../
.classpath
.project
.settings
bin
src
tests