Generate problem-specific constraint sets in the derived SolverRun constructors
Current status
The distinction which basic constraints are added to the ExplorationSpecification is decided within the SMT backend by an if-else clause.
Proposed improvement
Create those constraints in the constructor of the specific SolverRun implementation. The distinction which SolverRun to use can remain in the backend or a Factory could be used.
(from redmine: issue id 3737, created on 2019-05-29)