/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/
../
ISolutionFoundHandler.java
ISolutionNameProvider.java
IdBasedSolutionNameProvider.java
LogSolutionHandler.java
ModelSaverSolutionFoundHandler.java
SolutionStore.java