Change Request #3737
Generate problem-specific constraint sets in the derived SolverRun constructors
The distinction which basic constraints are added to the ExplorationSpecification is decided within the SMT backend by an if-else clause.
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.