/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/test/support/

• ../
• MapTestEnvironment.java
• PrimeTesting.java