Move utility classes from exploration.smt.modeltransformation to exploration.smt.util
Move the
ConstraintDefinitionUtils
,
TimingConstraintDefinition
and
SMTTransformationUtils
utility classes to the
util
package.
(from redmine: issue id 3697, created on 2019-03-27)