-
Tiziano Munaro authored
Both the RouteUtils and the ResourceConnection offer functionality required independently of the solver to be used. Hence, they have been moved from the SMT-specific plug-in to the generic exploration plug-in. Issue-Ref: 3677 Issue-Url: https://af3-developer.fortiss.org/issues/3677 Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
75f1a30d