org.eclipse.viatra.dse.solutionstore

Class SolutionStore