4123: Fix generation and visualization of UNSAT cores
- Introduce ContextWrapper in order to be able to query used parameters (e.g., timeout, tracking) later
- Remove unused SolverRun constructor that enabled passing a DSMLtoSMTTransformator (similar functionality might be re-added later to obtain are more modular transformation architecture
- Create DSMLtoSMTTransformator and ContextWrapper only on demand, i.e. no longer as fields of SolverRun
Issue-Ref: 4123 Issue-Url: #4123 (closed)
Signed-off-by: Simon Barner barner@fortiss.org