Export the solutions found by the DSE-SMT backend as ExplorationSolutions EMM
Current status
The SMT-based DSE currently uses the Visualization meta-model to describe the results of a DSE run. However, this meta-model is not capable of representing all aspects of the input specifications and its intended use is to capture data relevant for visualizing DSE results only.
Proposed change
The EMM has data structures for storing the results of a DSE run. Use these results to represent the solutions found by a DSE backend and
(from redmine: issue id 3255, created on 2018-01-30, closed on 2019-01-25)