Z3-Route/Bus Optimization as exploration strategy / feature
Current status
The Z3-based route optimization and bus minimization optimization task is implemented in the transformation stragies. This introduces a tight coupling of the feature with the transformation itself. This will likely intoduce maintainability problems.
Proposed change
Extract the aforementioned feature from the other DSML-to-Z3 transformations and name the corresponding classes accordingly. Please note, that it is unclear to me how string the coupling with the UI code are, thus denying an effort estimation.
(from redmine: issue id 3143, created on 2017-11-08, closed on 2020-08-12)